Documentation

htCheckEnv :: [(HSymbol, ([HSymbol], HType, a))] -> Either String [(HSymbol, ([HSymbol], HType, HKind))] Source #

htCheckType :: [(HSymbol, ([HSymbol], HType, HKind))] -> HType -> Either String () Source #