conflicts | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
ConflictTree | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
Constant | Calculi.Lambda |
constants | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
cyclesOfGraph | Data.Graph.Inductive.Helper |
cyclicSubgraphs | Data.Graph.Inductive.Helper |
CyclicSubstitution | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |