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.Builtin

Description

HasCASL's builtin types and functions

Synopsis

Documentation

cpoMap :: ClassMap Source #

builtin class map

bList :: [(Id, TypeScheme)] Source #

builtin functions

bTypes :: TypeMap Source #

builtin data type map

bOps :: Assumps Source #

builtin function map

preEnv :: Env Source #

environment with predefined names

addBuiltins :: GlobalAnnos -> GlobalAnnos Source #

add builtin identifiers

eqId :: Id Source #

the infix equality identifier

mkEqTerm :: Id -> Type -> Range -> Term -> Term -> Term Source #

mkTerm :: Id -> TypeScheme -> [Type] -> Range -> Term -> Term Source #