EmbPrj Blocked_ Source # | |
Instance details |
EmbPrj Clause Source # | |
Instance details |
EmbPrj ConHead Source # | |
Instance details |
EmbPrj ConPatternInfo Source # | |
Instance details |
EmbPrj DBPatVar Source # | |
Instance details |
EmbPrj DataOrRecord Source # | |
Instance details |
EmbPrj Level Source # | |
Instance details |
EmbPrj NotBlocked Source # | |
Instance details |
EmbPrj PatOrigin Source # | |
Instance details |
EmbPrj PatternInfo Source # | |
Instance details |
EmbPrj PlusLevel Source # | |
Instance details |
EmbPrj Sort Source # | |
Instance details |
EmbPrj Term Source # | |
Instance details |
EmbPrj IsFibrant Source # | |
Instance details |
EmbPrj Univ Source # | |
Instance details |
EmbPrj CompiledClauses Source # | |
Instance details |
EmbPrj LazySplit Source # | |
Instance details |
EmbPrj SplitTag Source # | |
Instance details |
EmbPrj BuiltinSort Source # | |
Instance details |
EmbPrj CheckpointId Source # | |
Instance details |
EmbPrj CompKit Source # | |
Instance details |
EmbPrj Comparison Source # | |
Instance details |
EmbPrj Definition Source # | |
Instance details |
EmbPrj Defn Source # | |
Instance details |
EmbPrj DisplayForm Source # | |
Instance details |
EmbPrj DisplayTerm Source # | |
Instance details |
EmbPrj DoGeneralize Source # | |
Instance details |
EmbPrj EtaEquality Source # | |
Instance details |
EmbPrj ExtLamInfo Source # | |
Instance details |
EmbPrj FunctionFlag Source # | |
Instance details |
EmbPrj Instantiation Source # | |
Instance details |
EmbPrj IsForced Source # | |
Instance details |
EmbPrj MutualId Source # | |
Instance details |
EmbPrj NLPSort Source # | |
Instance details |
EmbPrj NLPType Source # | |
Instance details |
EmbPrj NLPat Source # | |
Instance details |
EmbPrj NumGeneralizableArgs Source # | |
Instance details |
EmbPrj OpaqueBlock Source # | |
Instance details |
EmbPrj Polarity Source # | |
Instance details |
EmbPrj ProjLams Source # | |
Instance details |
EmbPrj Projection Source # | |
Instance details |
EmbPrj ProjectionLikenessMissing Source # | |
Instance details |
EmbPrj RemoteMetaVariable Source # | |
Instance details |
EmbPrj RewriteRule Source # | |
Instance details |
EmbPrj Section Source # | |
Instance details |
EmbPrj Signature Source # | |
Instance details |
EmbPrj System Source # | |
Instance details |
EmbPrj TermHead Source # | |
Instance details |
EmbPrj Occurrence Source # | |
Instance details |
EmbPrj Permutation Source # | |
Instance details |
EmbPrj a => EmbPrj (Abs a) Source # | |
Instance details |
EmbPrj a => EmbPrj (Dom a) Source # | |
Instance details |
EmbPrj a => EmbPrj (Pattern' a) Source # | |
Instance details |
EmbPrj a => EmbPrj (Substitution' a) Source # | |
Instance details |
EmbPrj a => EmbPrj (Tele a) Source # | |
Instance details |
EmbPrj a => EmbPrj (Type' a) Source # | |
Instance details |
EmbPrj a => EmbPrj (Elim' a) Source # | |
Instance details |
EmbPrj a => EmbPrj (Case a) Source # | |
Instance details |
EmbPrj a => EmbPrj (WithArity a) Source # | |
Instance details |
EmbPrj a => EmbPrj (SplitTree' a) Source # | |
Instance details |
EmbPrj a => EmbPrj (Builtin a) Source # | |
Instance details |
EmbPrj a => EmbPrj (FunctionInverse' a) Source # | |
Instance details |
EmbPrj a => EmbPrj (Judgement a) Source # | |
Instance details |
EmbPrj a => EmbPrj (Open a) Source # | |
Instance details |
EmbPrj a => EmbPrj (Drop a) Source # | |
Instance details |