1#[rustfmt::skip]
6pub const LEAN_ROOT_NAMES: &[&str] = &[
7 "Acc", "Add", "Alternative", "And", "AndOp", "AndThen", "Append", "Applicative",
8 "Array", "BEq", "BaseIO", "Bind", "BitVec", "Bool", "BreakT", "ByteArray",
9 "Char", "Coe", "CoeDep", "CoeFun", "CoeHTC", "CoeHTCT", "CoeHead", "CoeOTC",
10 "CoeOut", "CoeSort", "CoeT", "CoeTC", "CoeTail", "Complement", "ContinueT", "Decidable",
11 "DecidableEq", "DecidableLE", "DecidableLT", "DecidablePred", "DecidableRel", "Div", "DoResultBC", "DoResultPR",
12 "DoResultPRBC", "DoResultSBC", "Dvd", "Dyadic", "Dynamic", "EIO", "EST", "EStateM",
13 "EarlyReturnT", "Empty", "EmptyCollection", "Eq", "EquivBEq", "Equivalence", "Except", "ExceptCpsT",
14 "ExceptT", "Exists", "False", "Fin", "Float", "Float32", "FloatArray", "ForIn",
15 "ForIn'", "ForInStep", "ForM", "Functor", "GetElem", "HAdd", "HAnd", "HAndThen",
16 "HAppend", "HDiv", "HEq", "HMod", "HMul", "HOr", "HOrElse", "HPow",
17 "HSMul", "HShiftLeft", "HShiftRight", "HSub", "HXor", "HasEquiv", "HasSSubset", "HasSubset",
18 "Hashable", "HomogeneousPow", "IO", "ISize", "Id", "Iff", "Inhabited", "Insert",
19 "Int", "Int16", "Int32", "Int64", "Int8", "IntCast", "Inter", "Inv",
20 "InvImage", "LE", "LT", "LawfulApplicative", "LawfulBEq", "LawfulFunctor", "LawfulGetElem", "LawfulHashable",
21 "LawfulMonad", "LawfulMonadAttach", "LawfulMonadLift", "LawfulMonadLiftT", "LawfulSingleton", "List", "ListSlice", "MProd",
22 "Max", "Membership", "Min", "Mod", "Monad", "MonadAttach", "MonadControl", "MonadControlT",
23 "MonadEval", "MonadEvalT", "MonadExcept", "MonadExceptOf", "MonadFinally", "MonadFunctor", "MonadFunctorT", "MonadLift",
24 "MonadLiftT", "MonadReader", "MonadReaderOf", "MonadShareCommon", "MonadState", "MonadStateOf", "MonadWithReader", "MonadWithReaderOf",
25 "Mul", "Nat", "NatCast", "NatPow", "Ne", "NeZero", "Neg", "NonScalar",
26 "Nonempty", "NonemptyType", "Not", "OfNat", "OfScientific", "One", "Option", "OptionT",
27 "Or", "OrElse", "OrOp", "Ord", "Ordering", "PEmpty", "PLift", "PNonScalar",
28 "PProd", "PSigma", "PSum", "PULift", "PUnit", "PartialEquivBEq", "Pow", "Prod",
29 "Pure", "Quot", "Quotient", "RandomGen", "Rat", "ReaderM", "ReaderT", "ReflBEq",
30 "Repr", "ReprAtom", "ReprTuple", "SDiff", "SMul", "SSuperset", "ST", "STWorld",
31 "Sep", "Seq", "SeqLeft", "SeqRight", "Setoid", "ShareCommonM", "ShareCommonT", "ShiftLeft",
32 "ShiftRight", "Sigma", "Singleton", "SizeOf", "Squash", "StateCpsT", "StateM", "StateRefT'",
33 "StateT", "StdGen", "Stream", "String", "Sub", "Subarray", "SubarrayIterator", "Subrelation",
34 "Subsingleton", "Substring", "Subtype", "Sum", "Superset", "Task", "Thunk", "ToBool",
35 "ToStream", "ToString", "Trans", "True", "TypeName", "TypeNameData", "UInt16", "UInt32",
36 "UInt64", "UInt8", "ULift", "USize", "Union", "Unit", "Vector", "Void",
37 "WeaklyLawfulMonadAttach", "WellFounded", "WellFoundedRelation", "XorOp", "Zero", "absurd", "acc_transGen_iff", "addParenHeuristic",
38 "allocprof", "andM", "and_and_and_comm", "and_and_left", "and_and_right", "and_assoc", "and_comm", "and_congr",
39 "and_congr_left", "and_congr_left'", "and_congr_left_eq", "and_congr_left_iff", "and_congr_right", "and_congr_right'", "and_congr_right_eq", "and_congr_right_iff",
40 "and_exists_self", "and_false", "and_iff_left", "and_iff_left_iff_imp", "and_iff_left_of_imp", "and_iff_right", "and_iff_right_iff_imp", "and_iff_right_of_imp",
41 "and_imp", "and_imp_left_iff_true", "and_imp_right_iff_true", "and_left_comm", "and_not_self", "and_not_self_iff", "and_or_left", "and_or_right",
42 "and_right_comm", "and_rotate", "and_self", "and_self_iff", "and_self_left", "and_self_right", "and_true", "apply_dite",
43 "apply_eqRec", "apply_ite", "apply_maxOn", "apply_maxOn_le_iff", "apply_minOn_le_left", "apply_minOn_le_right", "autoParam", "beqOfOrd",
44 "beq_eq_false_iff_ne", "beq_false", "beq_false_of_ne", "beq_iff_eq", "beq_of_eq", "beq_self_eq_true", "beq_self_eq_true'", "beq_true",
45 "bind_congr", "bind_map_left", "bind_pure", "bind_pure_unit", "binderNameHint", "bne", "bne_comm", "bne_eq",
46 "bne_eq_false_iff_eq", "bne_iff_ne", "bne_self_eq_false", "bne_self_eq_false'", "bool", "boolIfThenElse", "boolPredToPred", "boolRelToRel",
47 "boolToProp", "boolToSort", "cast", "cast_cast", "cast_eq", "cast_heq", "coeFunNotation", "coeNotation",
48 "coeSortNotation", "commandDeclare_bitwise_int_theorems__", "commandDeclare_bitwise_uint_theorems__", "commandDeclare_int_theorems__", "commandDeclare_uint_theorems__", "compareLex", "compareLex_eq_eq", "compareOfLessAndBEq",
49 "compareOfLessAndEq", "compareOfLessAndEq_eq_eq", "compareOfLessAndEq_eq_gt", "compareOfLessAndEq_eq_gt_of_lt_iff_not_gt_and_ne", "compareOfLessAndEq_eq_lt", "compareOfLessAndEq_eq_swap", "compareOfLessAndEq_eq_swap_of_lt_iff_not_gt_and_ne", "compareOn",
50 "cond", "cond_false", "cond_true", "congr", "congrArg", "congrFun", "congrFun'", "control",
51 "controlAt", "dbgSleep", "dbgStackTrace", "dbgStackTraceIf", "dbgTrace", "dbgTraceIfShared", "dbgTraceVal", "decEq",
52 "decPropToBool", "decidable_of_bool", "decidable_of_decidable_of_eq", "decidable_of_decidable_of_iff", "decidable_of_iff", "decidable_of_iff'", "decide_eq_decide", "decide_eq_false",
53 "decide_eq_false_iff_not", "decide_eq_true", "decide_eq_true_eq", "decide_eq_true_iff", "decide_false", "decide_implies", "decide_ite", "decide_not",
54 "decide_true", "dif_eq_if", "dif_neg", "dif_pos", "dite", "dite_cond_congr", "dite_cond_eq_false", "dite_cond_eq_true",
55 "dite_congr", "dite_else_false", "dite_else_true", "dite_eq_ite", "dite_eq_left_iff", "dite_eq_right_iff", "dite_false", "dite_iff_left_iff",
56 "dite_iff_right_iff", "dite_not", "dite_then_false", "dite_then_true", "dite_true", "eagerReduce", "emptyRelation", "emptyWf",
57 "eqRec_heq", "eqRec_heq_iff", "eq_comm", "eq_false", "eq_false'", "eq_false_of_decide", "eq_false_of_ne_true", "eq_iff_iff",
58 "eq_iff_true_of_subsingleton", "eq_mp_eq_cast", "eq_mpr_eq_cast", "eq_of_heq", "eq_self", "eq_self_iff_true", "eq_true", "eq_true_eq_id",
59 "eq_true_of_decide", "eq_true_of_ne_false", "equivBEq_of_iff_apply_eq", "equivalence_true", "exists_and_left", "exists_and_right", "exists_and_self", "exists_apply_eq_apply",
60 "exists_comm", "exists_congr", "exists_const", "exists_eq", "exists_eq'", "exists_eq_left", "exists_eq_left'", "exists_eq_or_imp",
61 "exists_eq_or_imp'", "exists_eq_right", "exists_eq_right'", "exists_eq_right_right", "exists_eq_right_right'", "exists_false", "exists_idem", "exists_imp",
62 "exists_or", "exists_or_eq_imp", "exists_or_eq_imp'", "exists_or_eq_left", "exists_or_eq_left'", "exists_or_eq_right", "exists_or_eq_right'", "exists_prop",
63 "exists_prop'", "exists_prop_congr", "exists_prop_decidable", "exists_prop_eq", "exists_prop_eq'", "exists_prop_of_true", "exists_true_left", "false_and",
64 "false_eq_decide_iff", "false_iff", "false_iff_true", "false_imp_iff", "false_implies", "false_ne_true", "false_of_ne", "false_of_true_eq_false",
65 "false_of_true_iff_false", "false_or", "flip", "flip_flip", "forIn'_eq_forIn", "forIn_eq_forIn'", "forall_and", "forall_apply_eq_imp_iff",
66 "forall_comm", "forall_congr", "forall_congr'", "forall_const", "forall_eq", "forall_eq'", "forall_eq_apply_imp_iff", "forall_eq_or_imp",
67 "forall_eq_or_imp'", "forall_exists_index", "forall_false", "forall_imp", "forall_not_of_not_exists", "forall_or_eq_imp", "forall_or_eq_imp'", "forall_or_imp_or_self_left_left",
68 "forall_or_imp_or_self_left_right", "forall_or_imp_or_self_right_left", "forall_or_imp_or_self_right_right", "forall_prop_congr_dom", "forall_prop_decidable", "forall_prop_domain_congr", "forall_prop_of_false", "forall_prop_of_true",
69 "forall_self_imp", "funext", "funext_iff", "ge_iff_le", "getElem_congr", "getElem_congr_coll", "getElem_congr_idx", "getModify",
70 "getThe", "gt_iff_lt", "guard", "hash64", "hash_eq", "have_body_congr'", "have_body_congr_dep'", "have_congr'",
71 "have_unused'", "have_unused_dep'", "have_val_congr'", "heq_comm", "heq_eqRec_iff", "heq_eq_eq", "heq_of_eq", "heq_of_eqRec_eq",
72 "heq_of_eq_of_heq", "heq_of_heq_of_eq", "heq_self_iff_true", "hexDigitRepr", "id", "id_def", "id_eq", "id_map'",
73 "if_false", "if_false_left", "if_false_right", "if_neg", "if_pos", "if_true", "if_true_left", "if_true_right",
74 "iff_and_self", "iff_comm", "iff_congr", "iff_def", "iff_def'", "iff_false", "iff_false_intro", "iff_false_left",
75 "iff_false_right", "iff_iff_eq", "iff_iff_implies_and_implies", "iff_not_self", "iff_of_eq", "iff_of_false", "iff_of_true", "iff_or_self",
76 "iff_self", "iff_self_and", "iff_self_or", "iff_true", "iff_true_intro", "iff_true_left", "iff_true_right", "imp_and",
77 "imp_congr", "imp_congr_ctx", "imp_congr_left", "imp_congr_right", "imp_false", "imp_iff_not", "imp_iff_right", "imp_imp_imp",
78 "imp_intro", "imp_not_comm", "imp_not_self", "imp_or_left_iff_true", "imp_or_right_iff_true", "imp_self", "imp_true_iff", "implies_congr",
79 "implies_congr_ctx", "implies_congr_left", "implies_congr_right", "implies_dep_congr_ctx", "implies_true", "inferInstance", "inferInstanceAs", "inline",
80 "instAddFloat", "instAddFloat32", "instAddISize", "instAddInt16", "instAddInt32", "instAddInt64", "instAddInt8", "instAddNat",
81 "instAddUInt16", "instAddUInt32", "instAddUInt64", "instAddUInt8", "instAddUSize", "instAlternativeOption", "instAndOpISize", "instAndOpInt16",
82 "instAndOpInt32", "instAndOpInt64", "instAndOpInt8", "instAndOpUInt16", "instAndOpUInt32", "instAndOpUInt64", "instAndOpUInt8", "instAndOpUSize",
83 "instAppendString", "instAssociativeAnd", "instAssociativeBoolAnd", "instAssociativeBoolOr", "instAssociativeISizeHAdd", "instAssociativeISizeHAnd", "instAssociativeISizeHMul", "instAssociativeISizeHOr",
84 "instAssociativeISizeHXor", "instAssociativeInt16HAdd", "instAssociativeInt16HAnd", "instAssociativeInt16HMul", "instAssociativeInt16HOr", "instAssociativeInt16HXor", "instAssociativeInt32HAdd", "instAssociativeInt32HAnd",
85 "instAssociativeInt32HMul", "instAssociativeInt32HOr", "instAssociativeInt32HXor", "instAssociativeInt64HAdd", "instAssociativeInt64HAnd", "instAssociativeInt64HMul", "instAssociativeInt64HOr", "instAssociativeInt64HXor",
86 "instAssociativeInt8HAdd", "instAssociativeInt8HAnd", "instAssociativeInt8HMul", "instAssociativeInt8HOr", "instAssociativeInt8HXor", "instAssociativeMaxOnOfIsLinearPreorder", "instAssociativeMinOnOfIsLinearPreorder", "instAssociativeOr",
87 "instAssociativeUInt16HAdd", "instAssociativeUInt16HAnd", "instAssociativeUInt16HMul", "instAssociativeUInt16HOr", "instAssociativeUInt16HXor", "instAssociativeUInt32HAdd", "instAssociativeUInt32HAnd", "instAssociativeUInt32HMul",
88 "instAssociativeUInt32HOr", "instAssociativeUInt32HXor", "instAssociativeUInt64HAdd", "instAssociativeUInt64HAnd", "instAssociativeUInt64HMul", "instAssociativeUInt64HOr", "instAssociativeUInt64HXor", "instAssociativeUInt8HAdd",
89 "instAssociativeUInt8HAnd", "instAssociativeUInt8HMul", "instAssociativeUInt8HOr", "instAssociativeUInt8HXor", "instAssociativeUSizeHAdd", "instAssociativeUSizeHAnd", "instAssociativeUSizeHMul", "instAssociativeUSizeHOr",
90 "instAssociativeUSizeHXor", "instBEqFloat", "instBEqFloat32", "instBEqOfDecidableEq", "instBEqOption", "instBEqProd", "instCoeHTC", "instCoeHTCOfCoeHeadOfCoeOTC",
91 "instCoeHTCOfCoeOTC", "instCoeHTCT", "instCoeHTCTIntOfIntCast", "instCoeHTCTNatOfNatCast", "instCoeHTCTOfCoeHTC", "instCoeHTCTOfCoeTailOfCoeHTC", "instCoeOTC", "instCoeOTCOfCoeOut",
92 "instCoeOTCOfCoeTC", "instCoeOutOfCoeFun", "instCoeOutOfCoeSort", "instCoeStringError", "instCoeSubarrayArray", "instCoeT", "instCoeTC", "instCoeTCOfCoe",
93 "instCoeTCOfCoe_1", "instCoeTOfCoeDep", "instCoeTOfCoeHTCT", "instCoeTailIntOfIntCast", "instCoeTailNatOfNatCast", "instCommutativeISizeHAdd", "instCommutativeISizeHAnd", "instCommutativeISizeHMul",
94 "instCommutativeISizeHOr", "instCommutativeISizeHXor", "instCommutativeInt16HAdd", "instCommutativeInt16HAnd", "instCommutativeInt16HMul", "instCommutativeInt16HOr", "instCommutativeInt16HXor", "instCommutativeInt32HAdd",
95 "instCommutativeInt32HAnd", "instCommutativeInt32HMul", "instCommutativeInt32HOr", "instCommutativeInt32HXor", "instCommutativeInt64HAdd", "instCommutativeInt64HAnd", "instCommutativeInt64HMul", "instCommutativeInt64HOr",
96 "instCommutativeInt64HXor", "instCommutativeInt8HAdd", "instCommutativeInt8HAnd", "instCommutativeInt8HMul", "instCommutativeInt8HOr", "instCommutativeInt8HXor", "instCommutativeUInt16HAdd", "instCommutativeUInt16HAnd",
97 "instCommutativeUInt16HMul", "instCommutativeUInt16HOr", "instCommutativeUInt16HXor", "instCommutativeUInt32HAdd", "instCommutativeUInt32HAnd", "instCommutativeUInt32HMul", "instCommutativeUInt32HOr", "instCommutativeUInt32HXor",
98 "instCommutativeUInt64HAdd", "instCommutativeUInt64HAnd", "instCommutativeUInt64HMul", "instCommutativeUInt64HOr", "instCommutativeUInt64HXor", "instCommutativeUInt8HAdd", "instCommutativeUInt8HAnd", "instCommutativeUInt8HMul",
99 "instCommutativeUInt8HOr", "instCommutativeUInt8HXor", "instCommutativeUSizeHAdd", "instCommutativeUSizeHAnd", "instCommutativeUSizeHMul", "instCommutativeUSizeHOr", "instCommutativeUSizeHXor", "instComplementISize",
100 "instComplementInt16", "instComplementInt32", "instComplementInt64", "instComplementInt8", "instComplementUInt16", "instComplementUInt32", "instComplementUInt64", "instComplementUInt8",
101 "instComplementUSize", "instDecidableAnd", "instDecidableDite", "instDecidableEqBitVec", "instDecidableEqBool", "instDecidableEqChar", "instDecidableEqDyadic", "instDecidableEqEmpty",
102 "instDecidableEqFin", "instDecidableEqFloat", "instDecidableEqFloat32", "instDecidableEqISize", "instDecidableEqInt16", "instDecidableEqInt32", "instDecidableEqInt64", "instDecidableEqInt8",
103 "instDecidableEqList", "instDecidableEqNat", "instDecidableEqOfIff", "instDecidableEqOfLawfulBEq", "instDecidableEqOrdering", "instDecidableEqPEmpty", "instDecidableEqPLift", "instDecidableEqPSigma",
104 "instDecidableEqPUnit", "instDecidableEqProd", "instDecidableEqRat", "instDecidableEqRaw", "instDecidableEqSigma", "instDecidableEqString", "instDecidableEqSum", "instDecidableEqUInt16",
105 "instDecidableEqUInt32", "instDecidableEqUInt64", "instDecidableEqUInt8", "instDecidableEqULift", "instDecidableEqUSize", "instDecidableEqVector", "instDecidableFalse", "instDecidableForall",
106 "instDecidableIff", "instDecidableIsValidUTF8", "instDecidableIte", "instDecidableLeBitVec", "instDecidableLtBitVec", "instDecidableNot", "instDecidableOr", "instDecidablePredComp",
107 "instDecidableRelLe", "instDecidableRelLt", "instDecidableTrue", "instDivFloat", "instDivFloat32", "instDivISize", "instDivInt16", "instDivInt32",
108 "instDivInt64", "instDivInt8", "instDivUInt16", "instDivUInt32", "instDivUInt64", "instDivUInt8", "instDivUSize", "instEquivBEqOfLawfulBEq",
109 "instForInListSliceOfMonad", "instForInOfForIn'", "instForInSubarrayOfMonad", "instFunctorOption", "instHAdd", "instHAndOfAndOp", "instHAndThenOfAndThen", "instHAppendOfAppend",
110 "instHDiv", "instHMod", "instHModUInt16Nat", "instHModUInt32Nat", "instHModUInt64Nat", "instHModUInt8Nat", "instHModUSizeNat", "instHMul",
111 "instHOrElseOfOrElse", "instHOrOfOrOp", "instHPow", "instHSMul", "instHShiftLeftOfShiftLeft", "instHShiftRightOfShiftRight", "instHSub", "instHXorOfXorOp",
112 "instHasEquivOfSetoid", "instHashable", "instHashableArray", "instHashableBool", "instHashableChar", "instHashableFin", "instHashableISize", "instHashableInt",
113 "instHashableInt16", "instHashableInt32", "instHashableInt64", "instHashableInt8", "instHashableList", "instHashableNat", "instHashableOption", "instHashablePEmpty",
114 "instHashablePUnit", "instHashableProd", "instHashableRat", "instHashableString", "instHashableSubtype", "instHashableUInt16", "instHashableUInt32", "instHashableUInt64",
115 "instHashableUInt8", "instHashableUSize", "instHomogeneousPowFloat", "instHomogeneousPowFloat32", "instIdempotentOpAnd", "instIdempotentOpBoolAnd", "instIdempotentOpBoolOr", "instIdempotentOpISizeHAnd",
116 "instIdempotentOpISizeHOr", "instIdempotentOpInt16HAnd", "instIdempotentOpInt16HOr", "instIdempotentOpInt32HAnd", "instIdempotentOpInt32HOr", "instIdempotentOpInt64HAnd", "instIdempotentOpInt64HOr", "instIdempotentOpInt8HAnd",
117 "instIdempotentOpInt8HOr", "instIdempotentOpOr", "instIdempotentOpUInt16HAnd", "instIdempotentOpUInt16HOr", "instIdempotentOpUInt32HAnd", "instIdempotentOpUInt32HOr", "instIdempotentOpUInt64HAnd", "instIdempotentOpUInt64HOr",
118 "instIdempotentOpUInt8HAnd", "instIdempotentOpUInt8HOr", "instIdempotentOpUSizeHAnd", "instIdempotentOpUSizeHOr", "instInhabitedBool", "instInhabitedEIO", "instInhabitedEST", "instInhabitedError",
119 "instInhabitedExcept", "instInhabitedExceptTOfMonad", "instInhabitedFloat", "instInhabitedFloat32", "instInhabitedForInStep", "instInhabitedForall", "instInhabitedForallOfMonad", "instInhabitedISize",
120 "instInhabitedInt16", "instInhabitedInt32", "instInhabitedInt64", "instInhabitedInt8", "instInhabitedList", "instInhabitedMProd", "instInhabitedNat", "instInhabitedNonScalar",
121 "instInhabitedNonemptyType", "instInhabitedOfMonad", "instInhabitedOption", "instInhabitedOrdering", "instInhabitedPNonScalar", "instInhabitedPProd", "instInhabitedPUnit", "instInhabitedProd",
122 "instInhabitedProp", "instInhabitedRat", "instInhabitedRaw", "instInhabitedRaw_1", "instInhabitedReaderT", "instInhabitedST", "instInhabitedSort", "instInhabitedStdGen",
123 "instInhabitedTask", "instInhabitedThunk", "instInhabitedTrue", "instInhabitedUInt16", "instInhabitedUInt32", "instInhabitedUInt64", "instInhabitedUInt8", "instInhabitedULift",
124 "instInhabitedUSize", "instIntCastInt", "instIteratorLoopSubarrayIteratorIdOfMonad", "instIteratorSubarrayIteratorId", "instLEBitVec", "instLEFin", "instLEFloat", "instLEFloat32",
125 "instLEISize", "instLEInt16", "instLEInt32", "instLEInt64", "instLEInt8", "instLENat", "instLEOption", "instLEUInt16",
126 "instLEUInt32", "instLEUInt64", "instLEUInt8", "instLEUSize", "instLTBitVec", "instLTFin", "instLTFloat", "instLTFloat32",
127 "instLTISize", "instLTInt16", "instLTInt32", "instLTInt64", "instLTInt8", "instLTNat", "instLTOption", "instLTUInt16",
128 "instLTUInt32", "instLTUInt64", "instLTUInt8", "instLTUSize", "instLawfulApplicativeExcept", "instLawfulApplicativeOption", "instLawfulBEq", "instLawfulBEqBool",
129 "instLawfulBEqChar", "instLawfulBEqString", "instLawfulCommIdentityISizeHAndNegOfNat", "instLawfulCommIdentityISizeHMulOfNat", "instLawfulCommIdentityISizeHOrOfNat", "instLawfulCommIdentityISizeHXorOfNat", "instLawfulCommIdentityInt16HAndNegOfNat", "instLawfulCommIdentityInt16HMulOfNat",
130 "instLawfulCommIdentityInt16HOrOfNat", "instLawfulCommIdentityInt16HXorOfNat", "instLawfulCommIdentityInt32HAndNegOfNat", "instLawfulCommIdentityInt32HMulOfNat", "instLawfulCommIdentityInt32HOrOfNat", "instLawfulCommIdentityInt32HXorOfNat", "instLawfulCommIdentityInt64HAndNegOfNat", "instLawfulCommIdentityInt64HMulOfNat",
131 "instLawfulCommIdentityInt64HOrOfNat", "instLawfulCommIdentityInt64HXorOfNat", "instLawfulCommIdentityInt8HAndNegOfNat", "instLawfulCommIdentityInt8HMulOfNat", "instLawfulCommIdentityInt8HOrOfNat", "instLawfulCommIdentityInt8HXorOfNat", "instLawfulCommIdentityUInt16HAndNegOfNat", "instLawfulCommIdentityUInt16HMulOfNat",
132 "instLawfulCommIdentityUInt16HOrOfNat", "instLawfulCommIdentityUInt16HXorOfNat", "instLawfulCommIdentityUInt32HAndNegOfNat", "instLawfulCommIdentityUInt32HMulOfNat", "instLawfulCommIdentityUInt32HOrOfNat", "instLawfulCommIdentityUInt32HXorOfNat", "instLawfulCommIdentityUInt64HAndNegOfNat", "instLawfulCommIdentityUInt64HMulOfNat",
133 "instLawfulCommIdentityUInt64HOrOfNat", "instLawfulCommIdentityUInt64HXorOfNat", "instLawfulCommIdentityUInt8HAndNegOfNat", "instLawfulCommIdentityUInt8HMulOfNat", "instLawfulCommIdentityUInt8HOrOfNat", "instLawfulCommIdentityUInt8HXorOfNat", "instLawfulCommIdentityUSizeHAndNegOfNat", "instLawfulCommIdentityUSizeHMulOfNat",
134 "instLawfulCommIdentityUSizeHOrOfNat", "instLawfulCommIdentityUSizeHXorOfNat", "instLawfulFunctorExcept", "instLawfulFunctorOption", "instLawfulGetElem", "instLawfulHashableOfLawfulBEq", "instLawfulIdentityAndTrue", "instLawfulIdentityBoolAndTrue",
135 "instLawfulIdentityBoolOrFalse", "instLawfulIdentityISizeHAddOfNat", "instLawfulIdentityInt16HAddOfNat", "instLawfulIdentityInt32HAddOfNat", "instLawfulIdentityInt64HAddOfNat", "instLawfulIdentityInt8HAddOfNat", "instLawfulIdentityOrFalse", "instLawfulIdentityUInt16HAddOfNat",
136 "instLawfulIdentityUInt32HAddOfNat", "instLawfulIdentityUInt64HAddOfNat", "instLawfulIdentityUInt8HAddOfNat", "instLawfulIdentityUSizeHAddOfNat", "instLawfulMonadAttachEStateM", "instLawfulMonadAttachExceptTOfLawfulMonad", "instLawfulMonadAttachReaderTOfLawfulMonad", "instLawfulMonadAttachStateRefT'OfLawfulMonad",
137 "instLawfulMonadAttachStateTOfLawfulMonad", "instLawfulMonadExcept", "instLawfulMonadLiftT", "instLawfulMonadLiftTOfLawfulMonadLift", "instLawfulMonadOption", "instLawfulMonadStateRefT'", "instLawfulOrderLTISize", "instLawfulOrderLTInt16",
138 "instLawfulOrderLTInt32", "instLawfulOrderLTInt64", "instLawfulOrderLTInt8", "instMaxFloat", "instMaxFloat32", "instMaxISize", "instMaxInt16", "instMaxInt32",
139 "instMaxInt64", "instMaxInt8", "instMaxUInt16", "instMaxUInt32", "instMaxUInt64", "instMaxUInt8", "instMaxUSize", "instMinFloat",
140 "instMinFloat32", "instMinISize", "instMinInt16", "instMinInt32", "instMinInt64", "instMinInt8", "instMinNat", "instMinUInt16",
141 "instMinUInt32", "instMinUInt64", "instMinUInt8", "instMinUSize", "instModISize", "instModInt16", "instModInt32", "instModInt64",
142 "instModInt8", "instModUInt16", "instModUInt32", "instModUInt64", "instModUInt8", "instModUSize", "instMonadAttachBaseIO", "instMonadAttachEIO",
143 "instMonadAttachEST", "instMonadAttachExceptTOfMonad", "instMonadAttachReaderTOfMonad", "instMonadAttachST", "instMonadAttachStateTOfMonad", "instMonadBaseIO", "instMonadControlExceptTOfMonad", "instMonadControlOptionTOfMonad",
144 "instMonadControlReaderT", "instMonadControlStateRefT'", "instMonadControlTOfMonadControl", "instMonadControlTOfPure", "instMonadEIO", "instMonadEST", "instMonadEvalOfMonadLift", "instMonadEvalT",
145 "instMonadEvalTOfMonadEval", "instMonadExceptOfEIO", "instMonadExceptOfEST", "instMonadExceptOfExcept", "instMonadExceptOfExceptT", "instMonadExceptOfExceptTOfMonad", "instMonadExceptOfMonadExceptOf", "instMonadExceptOfUnitOption",
146 "instMonadFinallyBaseIO", "instMonadFinallyEIO", "instMonadFinallyEST", "instMonadFinallyST", "instMonadFinallyStateRefT'", "instMonadFunctorTOfMonadFunctor", "instMonadLiftBaseIOEIO", "instMonadLiftSTEST",
147 "instMonadLiftT", "instMonadLiftTOfMonadLift", "instMonadLiftTOfMonadLift_instMonadLiftTOfPure", "instMonadOption", "instMonadReaderOfMonadReaderOf", "instMonadReaderOfOfMonadLift", "instMonadReaderOfReaderTOfMonad", "instMonadST",
148 "instMonadStateOfMonadStateOf", "instMonadStateOfOfMonadLift", "instMonadStateOfStateTOfMonad", "instMonadWithReaderOfMonadWithReaderOf", "instMonadWithReaderOfOfMonadFunctor", "instMonadWithReaderOfReaderT", "instMulFloat", "instMulFloat32",
149 "instMulISize", "instMulInt16", "instMulInt32", "instMulInt64", "instMulInt8", "instMulNat", "instMulUInt16", "instMulUInt32",
150 "instMulUInt64", "instMulUInt8", "instMulUSize", "instNatCastInt", "instNatCastNat", "instNatPowNat", "instNeZeroNatHAdd", "instNeZeroNatHAdd_1",
151 "instNeZeroNatHMul", "instNeZeroNatIte", "instNegFloat", "instNegFloat32", "instNegUInt16", "instNegUInt32", "instNegUInt64", "instNegUInt8",
152 "instNegUSize", "instNonemptyDynamic", "instNonemptyFloat", "instNonemptyFloat32", "instNonemptyForall", "instNonemptyMProd", "instNonemptyOfInhabited", "instNonemptyOfMonad",
153 "instNonemptyPProd", "instNonemptyProd", "instNonemptyTask", "instNonemptyTypeName", "instOfNat", "instOfNatFloat", "instOfNatFloat32", "instOfNatNat",
154 "instOfScientificFloat", "instOfScientificFloat32", "instOrElseEIO", "instOrElseOfAlternative", "instOrOpISize", "instOrOpInt16", "instOrOpInt32", "instOrOpInt64",
155 "instOrOpInt8", "instOrOpUInt16", "instOrOpUInt32", "instOrOpUInt64", "instOrOpUInt8", "instOrOpUSize", "instOrdBitVec", "instOrdBool",
156 "instOrdChar", "instOrdFin", "instOrdInt", "instOrdNat", "instOrdOption", "instOrdOrdering", "instOrdSubtype", "instPowISizeNat",
157 "instPowInt16Nat", "instPowInt32Nat", "instPowInt64Nat", "instPowInt8Nat", "instPowNat", "instPowOfHomogeneousPow", "instPowUInt16Nat", "instPowUInt32Nat",
158 "instPowUInt64Nat", "instPowUInt8Nat", "instPowUSizeNat", "instRandomGenStdGen", "instReprAtomBool", "instReprAtomChar", "instReprAtomFloat", "instReprAtomFloat32",
159 "instReprAtomISize", "instReprAtomInt", "instReprAtomInt16", "instReprAtomInt32", "instReprAtomInt64", "instReprAtomInt8", "instReprAtomNat", "instReprAtomString",
160 "instReprAtomUInt16", "instReprAtomUInt32", "instReprAtomUInt64", "instReprAtomUInt8", "instReprAtomUSize", "instReprBool", "instReprChar", "instReprDecidable",
161 "instReprEmpty", "instReprExcept", "instReprFin", "instReprFloat", "instReprFloat32", "instReprISize", "instReprId", "instReprId_1",
162 "instReprInt16", "instReprInt32", "instReprInt64", "instReprInt8", "instReprIterator", "instReprList", "instReprListOfReprAtom", "instReprNat",
163 "instReprOption", "instReprOrdering", "instReprPUnit", "instReprProdOfReprTuple", "instReprRat", "instReprRaw", "instReprRaw_1", "instReprSigma",
164 "instReprSourceInfo", "instReprStdGen", "instReprString", "instReprSubtype", "instReprSum", "instReprTupleOfRepr", "instReprTupleProdOfRepr", "instReprUInt16",
165 "instReprUInt32", "instReprUInt64", "instReprUInt8", "instReprULift", "instReprUSize", "instReprUnit", "instReprVector", "instSMulOfMul",
166 "instSTWorldEST", "instSTWorldOfMonadLift", "instSTWorldST", "instSelfSliceSubarrayDataSubarray", "instShiftLeftISize", "instShiftLeftInt16", "instShiftLeftInt32", "instShiftLeftInt64",
167 "instShiftLeftInt8", "instShiftLeftUInt16", "instShiftLeftUInt32", "instShiftLeftUInt64", "instShiftLeftUInt8", "instShiftLeftUSize", "instShiftRightISize", "instShiftRightInt16",
168 "instShiftRightInt32", "instShiftRightInt64", "instShiftRightInt8", "instShiftRightUInt16", "instShiftRightUInt32", "instShiftRightUInt64", "instShiftRightUInt8", "instShiftRightUSize",
169 "instSizeOfDefault", "instSizeOfForallUnit", "instSizeOfNat", "instSliceSizeListSliceData", "instSliceableArrayNatSubarray", "instSliceableArrayNatSubarray_1", "instSliceableArrayNatSubarray_2", "instSliceableArrayNatSubarray_3",
170 "instSliceableArrayNatSubarray_4", "instSliceableArrayNatSubarray_5", "instSliceableArrayNatSubarray_6", "instSliceableArrayNatSubarray_7", "instSliceableArrayNatSubarray_8", "instSliceableListNatListSlice", "instSliceableListNatListSlice_1", "instSliceableListNatListSlice_2",
171 "instSliceableListNatListSlice_3", "instSliceableListNatListSlice_4", "instSliceableListNatListSlice_5", "instSliceableListNatListSlice_6", "instSliceableListNatListSlice_7", "instSliceableListNatListSlice_8", "instSliceableListSliceNat", "instSliceableListSliceNat_1",
172 "instSliceableListSliceNat_2", "instSliceableListSliceNat_3", "instSliceableListSliceNat_4", "instSliceableListSliceNat_5", "instSliceableListSliceNat_6", "instSliceableListSliceNat_7", "instSliceableListSliceNat_8", "instSliceableSubarrayNat",
173 "instSliceableSubarrayNat_1", "instSliceableSubarrayNat_2", "instSliceableSubarrayNat_3", "instSliceableSubarrayNat_4", "instSliceableSubarrayNat_5", "instSliceableSubarrayNat_6", "instSliceableSubarrayNat_7", "instSliceableSubarrayNat_8",
174 "instStreamRawChar", "instSubFloat", "instSubFloat32", "instSubISize", "instSubInt16", "instSubInt32", "instSubInt64", "instSubInt8",
175 "instSubNat", "instSubUInt16", "instSubUInt32", "instSubUInt64", "instSubUInt8", "instSubUSize", "instSubsingleton", "instSubsingletonDecidable",
176 "instSubsingletonEmpty", "instSubsingletonPEmpty", "instSubsingletonPLift", "instSubsingletonPUnit", "instSubsingletonProd", "instSubsingletonSquash", "instSubsingletonStateM", "instSubsingletonULift",
177 "instSymmEqBoolBeqTrueOfPartialEquivBEq", "instToBoolBool", "instToBoolOption", "instToFormatArray", "instToFormatList", "instToFormatOfToString", "instToFormatOption", "instToFormatProd",
178 "instToFormatRaw", "instToStringArray", "instToStringBool", "instToStringByteArray", "instToStringChar", "instToStringDecidable", "instToStringExcept", "instToStringFin",
179 "instToStringFloat", "instToStringFloat32", "instToStringFloatArray", "instToStringFormat", "instToStringISize", "instToStringId", "instToStringId_1", "instToStringInt",
180 "instToStringInt16", "instToStringInt32", "instToStringInt64", "instToStringInt8", "instToStringIterator", "instToStringList", "instToStringNat", "instToStringOption",
181 "instToStringPUnit", "instToStringProd", "instToStringRat", "instToStringRaw", "instToStringRaw_1", "instToStringSigma", "instToStringString", "instToStringSubtype",
182 "instToStringSum", "instToStringUInt16", "instToStringUInt32", "instToStringUInt64", "instToStringUInt8", "instToStringULift", "instToStringUSize", "instToStringUnit",
183 "instTransEq", "instTransEq_1", "instTransIff", "instWeaklyLawfulMonadAttachEStateM", "instWeaklyLawfulMonadAttachExceptTOfLawfulMonad", "instWeaklyLawfulMonadAttachOfLawfulMonad", "instWeaklyLawfulMonadAttachReaderTOfLawfulMonad", "instWeaklyLawfulMonadAttachStateRefT'OfLawfulMonad",
184 "instWeaklyLawfulMonadAttachStateTOfLawfulMonad", "instXorOpISize", "instXorOpInt16", "instXorOpInt32", "instXorOpInt64", "instXorOpInt8", "instXorOpUInt16", "instXorOpUInt32",
185 "instXorOpUInt64", "instXorOpUInt8", "instXorOpUSize", "invImage", "isExclusiveUnsafe", "isGE_compareOfLessAndEq", "isLE_compareOfLessAndEq", "isScalarObj",
186 "isValidChar", "ite", "iteInduction", "ite_cond_congr", "ite_cond_eq_false", "ite_cond_eq_true", "ite_congr", "ite_else_decide_not_self",
187 "ite_else_decide_self", "ite_else_not_self", "ite_else_self", "ite_eq_dite", "ite_eq_ite", "ite_eq_left_iff", "ite_eq_right_iff", "ite_false",
188 "ite_id", "ite_iff_ite", "ite_iff_left_iff", "ite_iff_right_iff", "ite_not", "ite_self", "ite_then_decide_not_self", "ite_then_decide_self",
189 "ite_then_not_self", "ite_then_self", "ite_true", "lcAny", "lcCast", "lcErased", "lcProof", "lcUnreachable",
190 "lcVoid", "leOfOrd", "le_apply_minOn_iff", "le_of_eq_of_le", "le_of_le_of_eq", "left_eq_dite_iff", "left_eq_ite_iff", "left_iff_dite_iff",
191 "left_iff_ite_iff", "left_le_apply_maxOn", "letFun", "let_body_congr", "let_congr", "let_val_congr", "lexOrd", "liftExcept",
192 "liftM", "liftM_bind", "liftM_map", "liftM_pure", "liftM_seq", "liftM_seqLeft", "liftM_seqRight", "liftOption",
193 "ltOfOrd", "lt_iff_not_gt_and_ne_of_antisymm_of_total_of_not_le", "lt_of_eq_of_lt", "lt_of_lt_of_eq", "map_bind", "map_congr", "map_eq_pure_bind", "map_inj_of_left_inverse",
194 "map_inj_right", "map_inj_right_of_nonempty", "maxOfLe", "maxOn", "maxOn_assoc", "maxOn_eq_if", "maxOn_eq_left", "maxOn_eq_max",
195 "maxOn_eq_minOn", "maxOn_eq_or", "maxOn_eq_right", "maxOn_eq_right_of_lt", "maxOn_id", "maxOn_self", "max_apply", "max_apply_eq_max",
196 "measure", "minOfLe", "minOn", "minOn_assoc", "minOn_eq_if", "minOn_eq_left", "minOn_eq_min", "minOn_eq_or",
197 "minOn_eq_right", "minOn_eq_right_of_lt", "minOn_id", "minOn_self", "min_apply", "min_apply_eq_min", "mixHash", "mkPanicMessage",
198 "mkPanicMessageWithDecl", "mkRat", "mkStdGen", "mod_uInt64Size_uSizeSize", "mod_usizeSize_uInt16Size", "mod_usizeSize_uInt32Size", "mod_usizeSize_uInt8Size", "modify",
199 "modifyGetThe", "modifyThe", "monadFunctorRefl", "monadLift_map", "monadLift_self", "monadLift_seq", "monadLift_seqLeft", "monadLift_seqRight",
200 "monadMap_refl", "mt", "namedPattern", "neZero_iff", "neZero_zero_iff_false", "ne_comm", "ne_eq", "ne_false_of_eq_true",
201 "ne_false_of_self", "ne_of_apply_ne", "ne_of_beq_false", "ne_of_mem_of_not_mem", "ne_of_mem_of_not_mem'", "ne_self_iff_false", "ne_true_of_eq_false", "ne_true_of_not",
202 "neq_of_not_iff", "noConfusionEnum", "noConfusionTypeEnum", "noConfusion_of_Nat", "nonempty_prop", "notM", "not_and", "not_and'",
203 "not_and_of_not_left", "not_and_of_not_or_not", "not_and_of_not_right", "not_and_self", "not_and_self_iff", "not_congr", "not_decide_eq_true", "not_eq_of_beq_eq_false",
204 "not_exists", "not_exists_of_forall_not", "not_false", "not_false_eq_true", "not_false_iff", "not_forall_of_exists_not", "not_iff_false_intro", "not_iff_self",
205 "not_imp_of_and_not", "not_not_em", "not_not_intro", "not_not_not", "not_not_of_not_imp", "not_of_iff_false", "not_of_not_imp", "not_or",
206 "not_or_intro", "not_true", "not_true_eq_false", "npowRec", "nsmulRec", "observing", "of_decide_eq_false", "of_decide_eq_self_eq_true",
207 "of_decide_eq_true", "of_eq_false", "of_eq_true", "of_getElem_eq", "of_iff_true", "of_toBoolUsing_eq_false", "of_toBoolUsing_eq_true", "optParam",
208 "optParam_eq", "optionCoe", "optional", "orM", "or_and_left", "or_and_right", "or_assoc", "or_comm",
209 "or_congr", "or_congr_left", "or_congr_right", "or_false", "or_iff_left", "or_iff_left_iff_imp", "or_iff_left_of_imp", "or_iff_right",
210 "or_iff_right_iff_imp", "or_iff_right_of_imp", "or_imp", "or_left_comm", "or_or_distrib_left", "or_or_distrib_right", "or_or_or_comm", "or_right_comm",
211 "or_rotate", "or_self", "or_self_iff", "or_self_left", "or_self_right", "or_true", "outOfBounds", "outOfBounds_eq_default",
212 "outParam", "panic", "panicCore", "panicWithPos", "panicWithPosWithDecl", "peirce'", "pi_congr", "precArg",
213 "precLead", "precMax", "precMin", "precMin1", "prioDefault", "prioHigh", "prioLow", "prioMid",
214 "proof_irrel", "proof_irrel_heq", "propext", "propext_iff", "ptrAddrUnsafe", "ptrEq", "ptrEqList", "pure_id_seq",
215 "pure_seqRight", "pure_unit_seqLeft", "randBool", "randNat", "rawNatLit", "readThe", "recSubsingleton", "repeatM",
216 "repeatM_eq_of_monadTail", "repr", "reprArg", "reprStr", "rfl", "right_eq_dite_iff", "right_eq_ite_iff", "right_iff_dite_iff",
217 "right_iff_ite_iff", "right_le_apply_maxOn", "runEST", "runST", "semiOutParam", "seqLeft_eq_bind", "seqLeft_pure", "seqRight_eq_bind",
218 "seqRight_pure_unit", "seq_eq_bind", "seq_eq_bind_map", "shareCommonM", "sizeOfWFRel", "sizeOf_default", "sizeOf_nat", "sizeOf_thunk",
219 "sorryAx", "stdNext", "stdRange", "stdSplit", "strictAnd", "strictOr", "subtypeCoe", "tacticClean_wf",
220 "tacticDecreasing_tactic", "tacticDecreasing_trivial", "tacticDecreasing_trivial_pre_omega", "tacticDecreasing_with_", "tacticDeriving_LawfulEq_tactic", "tacticDeriving_LawfulEq_tactic_step", "tacticFunext___", "tacticGet_elem_tactic",
221 "tacticGet_elem_tactic_extensible", "tacticGet_elem_tactic_trivial", "tacticSimp_wf", "termDepIfThenElse", "termIfLet", "termIfThenElse", "termMax_prec", "termWithout_expected_type_",
222 "throwThe", "thunkCoe", "timeit", "toBoolUsing", "toBoolUsing_eq_true", "trivial", "true_and", "true_eq_decide_iff",
223 "true_eq_false_of_false", "true_iff", "true_iff_false", "true_imp_iff", "true_implies", "true_ne_false", "true_or", "tryCatchThe",
224 "tryFinally", "type_eq_of_heq", "unexpandArrayEmpty", "unexpandEqNDRec", "unexpandEqRec", "unexpandExists", "unexpandGetElem", "unexpandIte",
225 "unexpandListCons", "unexpandListNil", "unexpandListToArray", "unexpandMkArray0", "unexpandMkArray1", "unexpandMkArray2", "unexpandMkArray3", "unexpandMkArray4",
226 "unexpandMkArray5", "unexpandMkArray6", "unexpandMkArray7", "unexpandMkArray8", "unexpandPSigma", "unexpandProdMk", "unexpandSigma", "unexpandSubtype",
227 "unexpandTSepArray", "unexpandTSyntax", "unexpandTSyntaxArray", "unexpandUnit", "unsafeBaseIO", "unsafeCast", "unsafeEIO", "unsafeIO",
228 "wfParam", "withPtrAddr", "withPtrAddrUnsafe", "withPtrEq", "withPtrEqDecEq", "withPtrEqUnsafe", "withShareCommon", "withTheReader",
229];