Safe Haskell | None |
---|
Documentation
prettyMarkedTyp :: Typ -> DocSource
prettyUnMarkedTyp :: Typ -> DocSource
prettyMarkedTerm :: Term -> DocSource
prettyUnMarkedTerm :: Term -> DocSource
prettyConstraint :: Constraint -> DocSource
prettyLabel :: Label -> DocSource
adjustTypAbstraction :: Bool -> Term -> TermSource