hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Common.Named
Portability
portable
Stability
provisional
Maintainer
hets@tzi.de
Description
name sentences in CASL, Logic and elsewhere
Synopsis
data
Named
s =
NamedSen
{
senName
::
String
sentence
:: s
}
namedTc
::
TyCon
Produced by
Haddock
version 0.6