_allTypes | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
_constants | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
_environment | Control.Typecheckable |
_errorOfContext | Control.Typecheckable |
_expression | Control.Typecheckable |
_polyctx | Compiler.Typesystem.SystemF |
_stlcctx | Compiler.Typesystem.SystemF |
_subsMade | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
_tape | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
_variables | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |