Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder and Uni Bremen 2003
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

HasCASL.MinType

Description

choose a minimal type

Documentation

q2p :: (a, b, c, d) -> (c, d)

typeNub :: Env -> (a -> (Type, Term)) -> [a] -> [a]

haveCommonSupertype :: Env -> TypeScheme -> TypeScheme -> Bool

getCommonSupertype :: Env -> TypeScheme -> TypeScheme -> Maybe TypeTriple