abstract | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
allTypes | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
appendExprToEContexts | Control.Typecheckable |
Apply | Calculi.Lambda |
applyAllSubs | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
applyAllSubsGr | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
applySubstitution | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
areAlphaEquivalent | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |