hets -- a heterogenous Specification (CASL) tool setContentsIndex
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