Documentation

data HKind

data HType

type HSymbol = String

hTypeToFormula :: [(HSymbol, ([HSymbol], HType, a))] -> HType -> Formula

pHSymbol :: Bool -> ReadP HSymbol

pHType :: ReadP HType

pHDataType :: ReadP HType

pHTAtom :: ReadP HType

pHKind :: ReadP HKind

prHSymbolOp :: HSymbol -> String

htNot :: HSymbol -> HType

isHTUnion :: HType -> Bool

getHTVars :: HType -> [HSymbol]

substHT :: [(HSymbol, HType)] -> HType -> HType

data HClause

data HPat

data HExpr

hPrClause :: HClause -> String

hPrExpr :: HExpr -> String

termToHExpr :: Term -> HExpr

termToHClause :: HSymbol -> Term -> HClause

getBinderVars :: HClause -> [HSymbol]