Hets - the Heterogeneous Tool Set

Copyright(c) Kristina Sojakova, DFKI Bremen 2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerk.sojakova@jacobs-university.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred

LF.Sign

Description

 

Documentation

type VAR = String

type NAME = String

type MODULE = String

type BASE = String

type Sentence = EXP

type CONTEXT = [(VAR, EXP)]

data DEF

Constructors

Def 

addDef :: DEF -> Sign -> Sign