Djinn.HTypes

data HKind

data HType

type HSymbol

hTypeToFormula

pHSymbol

pHType

pHDataType

pHTAtom

pHKind

prHSymbolOp

htNot

isHTUnion

getHTVars

substHT

data HClause

data HPat

data HExpr

hPrClause

hPrExpr

termToHExpr

termToHClause

getBinderVars