hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Haskell.Hatchet.DataConsAssump
Synopsis
dataConsEnv
::
AModule
->
KindEnv
-> [
AHsDecl
] ->
Env
Scheme
Produced by
Haddock
version 0.6