Hets - the Heterogeneous Tool Set

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

HasCASL.SubtypeDecl

Description

analyse subtype decls

Synopsis

Documentation

addSuperType :: Type -> Kind -> (Id, [TypeArg]) -> State Env () Source #

add a supertype to a given type id

addAliasType :: Bool -> Id -> TypeScheme -> Kind -> State Env Bool Source #

add an alias type definition