EmbPrj Permutation Source # | |
|
EmbPrj Occurrence Source # | |
|
EmbPrj ConPatternInfo Source # | |
|
EmbPrj DBPatVar Source # | |
|
EmbPrj Clause Source # | |
|
EmbPrj LevelAtom Source # | |
|
EmbPrj PlusLevel Source # | |
|
EmbPrj Level Source # | |
|
EmbPrj Sort Source # | |
|
EmbPrj Term Source # | |
|
EmbPrj ConHead Source # | |
|
EmbPrj CompiledClauses Source # | |
|
EmbPrj CtxId Source # | |
|
EmbPrj MutualId Source # | |
|
EmbPrj TermHead Source # | |
|
EmbPrj Defn Source # | |
|
EmbPrj FunctionFlag Source # | |
|
EmbPrj EtaEquality Source # | |
|
EmbPrj ProjLams Source # | |
|
EmbPrj Projection Source # | |
|
EmbPrj ExtLamInfo Source # | |
|
EmbPrj Polarity Source # | |
|
EmbPrj Definition Source # | |
|
EmbPrj RewriteRule Source # | |
|
EmbPrj NLPType Source # | |
|
EmbPrj NLPat Source # | |
|
EmbPrj DisplayTerm Source # | |
|
EmbPrj DisplayForm Source # | |
|
EmbPrj Section Source # | |
|
EmbPrj Signature Source # | |
|
EmbPrj a => EmbPrj (Drop a) Source # | |
|
EmbPrj a => EmbPrj (Substitution' a) Source # | |
|
EmbPrj a => EmbPrj (Pattern' a) Source # | |
|
EmbPrj a => EmbPrj (Tele a) Source # | |
|
EmbPrj a => EmbPrj (Type' a) Source # | |
|
EmbPrj a => EmbPrj (Abs a) Source # | |
|
EmbPrj a => EmbPrj (Elim' a) Source # | |
|
EmbPrj a => EmbPrj (Case a) Source # | |
|
EmbPrj a => EmbPrj (WithArity a) Source # | |
|
EmbPrj a => EmbPrj (Builtin a) Source # | |
|
EmbPrj a => EmbPrj (FunctionInverse' a) Source # | |
|
EmbPrj a => EmbPrj (Local a) Source # | |
|
EmbPrj a => EmbPrj (Open a) Source # | |
|