infer | Control.Typecheckable |
Inferable | Control.Typecheckable |
InferenceContext | Control.Typecheckable |
InferError | Control.Typecheckable |
isBase | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
isFunction | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
isPolyType | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |