hets -- a heterogenous Specification (CASL) tool setContentsIndex
Haskell.Hatchet.TIMain
Synopsis
tiProgram :: AModule -> SigEnv -> KindEnv -> ClassHierarchy -> TypeEnv -> TypeEnv -> Program -> TypeEnv
makeProgram :: SigEnv -> [[AHsDecl]] -> Program
getFunDeclsBg :: SigEnv -> [AHsDecl] -> Program
Produced by Haddock version 0.6