Module Import alias Import alias identifier Import alias identifier Import alias identifier Import alias Import alias Import alias identifier Import alias identifier Import alias Import alias identifier Import alias identifier Import alias identifier ImportFrom alias ImportFrom alias Assign NameStore Call AttributeLoad NameLoad attr Str NameLoad FunctionDef arguments args NameParam NameParam NameParam defaults body If CompareNotIn NameLoad AttributeLoad NameLoad attr body Raise Call AttributeLoad NameLoad attr NameLoad Call AttributeLoad Str attr NameLoad Return SubscriptLoad AttributeLoad NameLoad attr Index NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam NameParam defaults Lambda arguments args NameParam defaults NameLoad Lambda arguments args defaults NameLoad Lambda arguments args NameParam defaults NameLoad body Assert Call NameLoad NameLoad Str NameLoad Assert Call NameLoad NameLoad Str NameLoad Assign NameStore NameLoad For NameStore SubscriptLoad AttributeLoad NameLoad attr Index NameLoad body Assign NameStore AttributeLoad SubscriptLoad AttributeLoad NameLoad attr Index Num attr Assign NameStore Call NameLoad NameLoad NameLoad NameLoad Assert Call NameLoad NameLoad Str Assert Call NameLoad NameLoad Str NameLoad If Call NameLoad NameLoad body If Call NameLoad NameLoad body Assign NameStore Call AttributeLoad NameLoad attr Assert Call NameLoad NameLoad Str Assert Call NameLoad NameLoad Str NameLoad Assign NameStore Call NameLoad NameLoad Assert Call NameLoad NameLoad Str Assert Call NameLoad NameLoad Str NameLoad Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad Return NameLoad decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore Call AttributeLoad NameLoad attr Assign AttributeStore NameLoad attr AttributeLoad NameLoad attr Assign AttributeStore NameLoad attr AttributeLoad NameLoad attr Assign AttributeStore NameLoad attr AttributeLoad NameLoad attr Return NameLoad decorator_list Assign NameStore NameLoad FunctionDef arguments args NameParam defaults body Global identifier Assign NameStore NameLoad decorator_list Assign NameStore NameLoad FunctionDef arguments args NameParam defaults body Global identifier Assign NameStore NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Return Call NameLoad GeneratorExp Call AttributeLoad NameLoad attr BinOpAdd NameLoad AttributeLoad NameLoad attr comprehension NameStore NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Return Call NameLoad GeneratorExp BoolOpOr Call AttributeLoad NameLoad attr BinOpAdd NameLoad AttributeLoad NameLoad attr CompareEq NameLoad NameLoad comprehension NameStore NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body If CompareNotIn NameLoad AttributeLoad NameLoad attr body Raise Call AttributeLoad NameLoad attr NameLoad Call AttributeLoad Str attr NameLoad Assign NameStore SubscriptLoad AttributeLoad NameLoad attr Index NameLoad Assign NameStore Call NameLoad GeneratorExp AttributeLoad NameLoad attr comprehension NameStore Call AttributeLoad NameLoad attr Assign NameStore Call NameLoad GeneratorExp AttributeLoad NameLoad attr comprehension NameStore Call AttributeLoad NameLoad attr Expr Call AttributeLoad NameLoad attr NameLoad If UnaryOpNot NameLoad body For NameStore Call NameLoad AttributeLoad AttributeLoad NameLoad attr attr body If UnaryOpNot Call NameLoad NameLoad NameLoad body Delete SubscriptDel AttributeLoad AttributeLoad NameLoad attr attr Index NameLoad Assign NameStore Call NameLoad GeneratorExp Call AttributeLoad NameLoad attr comprehension NameStore AttributeLoad NameLoad attr UnaryOpNot Call AttributeLoad NameLoad attr Assign NameStore Call NameLoad GeneratorExp TupleLoad Call AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr comprehension NameStore AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr Assign NameStore Call NameLoad GeneratorExp AttributeLoad AttributeLoad SubscriptLoad AttributeLoad NameLoad attr Index Num attr attr comprehension NameStore AttributeLoad NameLoad attr For NameStore NameLoad body If BoolOpAnd CompareNotIn NameLoad AttributeLoad NameLoad attr CompareNotIn NameLoad AttributeLoad AttributeLoad NameLoad attr attr CompareNotIn NameLoad NameLoad CompareNotIn NameLoad AttributeLoad AttributeLoad NameLoad attr attr body Raise Call AttributeLoad NameLoad attr NameLoad Call AttributeLoad Str attr NameLoad Assign NameStore Dict Assign NameStore Lambda arguments args NameParam defaults Call NameLoad NameLoad NameLoad Assign NameStore Lambda arguments args NameParam defaults IfExp Call NameLoad NameLoad NameLoad NameLoad Call AttributeLoad NameLoad attr Str Assign NameStore Lambda arguments args NameParam defaults NameLoad Assign NameStore Lambda arguments args NameParam defaults NameLoad Assign NameStore Lambda arguments args NameParam defaults Call NameLoad NameLoad AttributeLoad NameLoad attr Assign NameStore Lambda arguments args NameParam defaults Call NameLoad NameLoad AttributeLoad NameLoad attr Assign NameStore Lambda arguments args NameParam defaults BoolOpAnd CompareIn NameLoad NameLoad Call NameLoad SubscriptLoad NameLoad Index NameLoad NameLoad Assign NameStore Lambda arguments args NameParam defaults BoolOpAnd Call NameLoad NameLoad UnaryOpNot Call NameLoad Call AttributeLoad NameLoad attr For TupleStore NameStore NameStore Call AttributeLoad AttributeLoad NameLoad attr attr body Assign NameStore Call NameLoad NameLoad NameLoad Assign NameStore Call NameLoad NameLoad NameLoad If NameLoad body If UnaryOpNot NameLoad body Assert Call NameLoad NameLoad Str Assert Call NameLoad NameLoad Str NameLoad Assign NameStore Call AttributeLoad Call AttributeLoad NameLoad attr attr Str Assert Call NameLoad NameLoad Str Assert Call NameLoad NameLoad Str NameLoad If CompareIn NameLoad NameLoad body Assign NameStore Call AttributeLoad NameLoad attr Str Assert Call NameLoad NameLoad Str Assert Call NameLoad NameLoad Str NameLoad orelse Assign NameStore NameLoad Assert Call NameLoad NameLoad Str Assert Call NameLoad NameLoad Str NameLoad orelse Assign NameStore NameStore NameLoad Assert Call NameLoad NameLoad Str Assert Call NameLoad NameLoad Str NameLoad Assign SubscriptStore NameLoad Index NameLoad Call NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad Lambda arguments args NameParam defaults NameLoad Assign NameStore Call NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad Assign SubscriptStore NameLoad Index BinOpAdd Str NameLoad NameLoad orelse Assign NameStore Call NameLoad NameLoad Assign SubscriptStore NameLoad Index NameLoad Call NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad Assign SubscriptStore NameLoad Index BinOpAdd Str NameLoad Call NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad Assign NameStore Call NameLoad For NameStore AttributeLoad NameLoad attr body If BoolOpAnd UnaryOpNot Call AttributeLoad NameLoad attr Call NameLoad Call AttributeLoad NameLoad attr NameLoad body Expr Call AttributeLoad NameLoad attr BinOpAdd Str Call AttributeLoad NameLoad attr For TupleStore NameStore NameStore Call AttributeLoad AttributeLoad NameLoad attr attr body If UnaryOpNot Call NameLoad NameLoad NameLoad body For NameStore Call AttributeLoad NameLoad attr body If Call NameLoad NameLoad NameLoad body Expr Call AttributeLoad NameLoad attr BinOpAdd Str NameLoad If NameLoad body Assign NameStore Call AttributeLoad NameLoad attr ListComp SubscriptLoad NameLoad Index NameLoad comprehension NameStore Call NameLoad NameLoad Expr Call AttributeLoad NameLoad attr Str Assign SubscriptStore NameLoad Index Str NameLoad Assign NameStore Lambda arguments args NameParam defaults BoolOpOr CompareNotIn AttributeLoad NameLoad attr NameLoad Call NameLoad NameLoad NameLoad Assign NameStore Lambda arguments args NameParam defaults BoolOpOr CompareIs NameLoad NameLoad Call NameLoad Call NameLoad NameLoad NameLoad Assign NameStore ListComp NameLoad comprehension NameStore AttributeLoad NameLoad attr Call NameLoad AttributeLoad NameLoad attr Delete SubscriptDel AttributeLoad NameLoad attr Slice Expr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Assign NameStore Call NameLoad GeneratorExp NameLoad comprehension NameStore AttributeLoad AttributeLoad NameLoad attr attr Call NameLoad NameLoad For NameStore Call NameLoad AttributeLoad AttributeLoad NameLoad attr attr body If CompareNotIn NameLoad NameLoad body Delete SubscriptDel AttributeLoad AttributeLoad NameLoad attr attr Index NameLoad Assign NameStore ListComp NameLoad comprehension NameStore AttributeLoad NameLoad attr Call NameLoad AttributeLoad NameLoad attr Delete SubscriptDel AttributeLoad NameLoad attr Slice Expr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Assign NameStore Call AttributeLoad NameLoad attr GeneratorExp AttributeLoad NameLoad attr comprehension NameStore NameLoad Assign AttributeStore AttributeLoad NameLoad attr attr Call AttributeLoad NameLoad attr NameLoad Assign AttributeStore NameLoad attr ListComp NameLoad comprehension NameStore AttributeLoad NameLoad attr Call NameLoad AttributeLoad NameLoad attr Assign AttributeStore NameLoad attr ListComp NameLoad comprehension NameStore AttributeLoad NameLoad attr Call NameLoad AttributeLoad AttributeLoad SubscriptLoad AttributeLoad NameLoad attr Index Num attr attr Expr Call AttributeLoad AttributeLoad NameLoad attr attr Expr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Expr Call AttributeLoad AttributeLoad NameLoad attr attr Expr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad decorator_list ClassDef bases NameLoad body FunctionDef arguments args NameParam NameParam defaults body Assign AttributeStore NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr Str decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Assign NameStore AttributeLoad SubscriptLoad AttributeLoad NameLoad attr Index Num attr Assign NameStore AttributeLoad SubscriptLoad AttributeLoad NameLoad attr Index Num attr Expr Call AttributeLoad NameLoad attr Str Expr Call AttributeLoad NameLoad attr Str Assign NameStore IfExp CompareIn NameLoad SubscriptLoad AttributeLoad NameLoad attr Index NameLoad Num IfExp CompareIn NameLoad SubscriptLoad AttributeLoad NameLoad attr Index NameLoad Num Num Expr Call AttributeLoad NameLoad attr Str Return NameLoad decorator_list decorator_list FunctionDef arguments args NameParam NameParam defaults body Assign NameStore ListComp TupleLoad AttributeLoad SubscriptLoad AttributeLoad NameLoad attr Index Num attr AttributeLoad SubscriptLoad AttributeLoad NameLoad attr Index Num attr comprehension NameStore AttributeLoad NameLoad attr Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr For NameStore NameLoad body Assign NameStore SubscriptLoad AttributeLoad NameLoad attr Index NameLoad Assign NameStore Call AttributeLoad NameLoad attr Call NameLoad Call NameLoad GeneratorExp Call AttributeLoad NameLoad attr comprehension NameStore NameLoad NameLoad Expr Call AttributeLoad NameLoad attr Str Assign NameStore Call NameLoad GeneratorExp TupleLoad NameLoad NameLoad comprehension TupleStore NameStore NameStore Call NameLoad NameLoad Assign NameStore Lambda arguments args NameParam defaults SubscriptLoad NameLoad Index Call AttributeLoad NameLoad attr Assign NameStore Call NameLoad ListComp NameLoad comprehension NameStore NameLoad Call NameLoad NameLoad AttributeLoad NameLoad attr keyword NameLoad Assign NameStore Call NameLoad ListComp NameLoad comprehension NameStore NameLoad Call NameLoad NameLoad AttributeLoad NameLoad attr keyword NameLoad Expr Call AttributeLoad NameLoad attr Assign NameStore BinOpAdd NameLoad NameLoad Assign SubscriptStore AttributeLoad NameLoad attr Index NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults NameLoad body Assign NameStore BoolOpOr NameLoad AttributeLoad NameLoad attr For TupleStore NameStore NameStore Call AttributeLoad AttributeLoad NameLoad attr attr body For NameStore NameLoad body With Call NameLoad NameLoad body Assign TupleStore NameStore NameStore GeneratorExp Call NameLoad NameLoad NameLoad AttributeLoad NameLoad attr comprehension NameStore AttributeLoad NameLoad attr For NameStore AttributeLoad NameLoad attr body Expr Call NameLoad SubscriptLoad AttributeLoad NameLoad attr Index Num NameLoad Call AttributeLoad NameLoad attr If BoolOpAnd Call AttributeLoad NameLoad attr CompareNotIn Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr body Raise Call AttributeLoad NameLoad attr SubscriptLoad AttributeLoad NameLoad attr Index Num Call AttributeLoad Str attr NameLoad Expr Call NameLoad NameLoad NameLoad If NameLoad body Expr Call NameLoad NameLoad NameLoad orelse For TupleStore NameStore NameStore Call AttributeLoad AttributeLoad NameLoad attr attr body For NameStore NameLoad body Assign TupleStore NameStore NameStore GeneratorExp Call NameLoad NameLoad NameLoad AttributeLoad NameLoad attr comprehension NameStore AttributeLoad NameLoad attr Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad Assign SubscriptStore AttributeLoad NameLoad attr Index AttributeLoad SubscriptLoad AttributeLoad NameLoad attr Index Num attr NameLoad If AttributeLoad NameLoad attr body Expr Call AttributeLoad AttributeLoad NameLoad attr attr For NameStore AttributeLoad NameLoad attr body If UnaryOpNot Call AttributeLoad NameLoad attr body Expr Call AttributeLoad AttributeLoad NameLoad attr attr Call AttributeLoad NameLoad attr orelse For NameStore AttributeLoad NameLoad attr body Expr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Expr Call AttributeLoad NameLoad attr For TupleStore NameStore NameStore Call NameLoad AttributeLoad NameLoad attr body Assign NameStore AttributeLoad NameLoad attr Assign NameStore BinOpAdd Str Call NameLoad NameLoad Assign NameStore Call NameLoad Call AttributeLoad NameLoad attr NameLoad Assign NameStore Call AttributeLoad NameLoad attr ListComp AttributeLoad NameLoad attr comprehension NameStore NameLoad Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad Assign NameStore Call AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr Num NameLoad Expr Call AttributeLoad AttributeLoad NameLoad attr attr TupleLoad Call NameLoad NameLoad NameLoad Expr Call AttributeLoad NameLoad attr If Call AttributeLoad NameLoad attr body For TupleStore NameStore NameStore Call AttributeLoad AttributeLoad NameLoad attr attr body Print Call AttributeLoad NameLoad attr Call AttributeLoad Str attr NameLoad NameLoad decorator_list
N/A N/A ivy_logic N/A ivy_dafny_compiler dc N/A ivy_solver slv N/A ivy_logic_utils lu N/A string N/A ivy_ast N/A ivy_utils iu N/A ivy_actions ia N/A ivy_alpha N/A ivy_module im N/A ivy_theory ith N/A ivy_concept_space ics ivy_ast ASTContext collections defaultdict N/A show_compiled N/A N/A iu BooleanParameter show_compiled False lookup_action N/A N/A ast mod name N/A N/A N/A N/A name N/A mod actions N/A N/A N/A N/A iu IvyError ast N/A N/A action {} undefined format name N/A N/A N/A mod actions N/A name N/A add_mixins N/A N/A mod actname action2 assert_to_assume use_mixin mod_mixin N/A N/A N/A N/A m N/A False N/A N/A N/A N/A True N/A N/A N/A m N/A m N/A N/A N/A hasattr action2 lineno action2 N/A N/A hasattr action2 formal_params action2 N/A res action2 N/A mixin N/A N/A mod mixins N/A actname N/A N/A mixin_name N/A N/A N/A mixin args N/A 0 relname N/A action1 N/A lookup_action mixin mod mixin_name N/A N/A hasattr action1 lineno N/A N/A hasattr action1 formal_params action1 N/A N/A use_mixin mixin_name N/A N/A N/A assert_to_assume mixin N/A N/A action1 N/A N/A action1 assert_to_assume N/A N/A hasattr action1 lineno N/A N/A hasattr action1 formal_params action1 N/A action1 N/A mod_mixin action1 N/A N/A hasattr action1 lineno N/A N/A hasattr action1 formal_params action1 N/A res N/A N/A ia apply_mixin mixin action1 res N/A res N/A summarize_action N/A N/A action N/A N/A N/A res N/A N/A ia Sequence N/A N/A res lineno N/A action lineno N/A N/A res formal_params N/A action formal_params N/A N/A res formal_returns N/A action formal_returns N/A res N/A N/A create_big_action True set_create_big_action N/A N/A t N/A N/A N/A create_big_action N/A create_big_action t N/A N/A interpret_all_sorts False set_interpret_all_sorts N/A N/A t N/A N/A N/A interpret_all_sorts N/A interpret_all_sorts t N/A startswith_some N/A N/A s prefixes N/A N/A N/A N/A any N/A N/A N/A s startswith N/A name N/A iu ivy_compose_character N/A name prefixes N/A startswith_eq_some N/A N/A s prefixes N/A N/A N/A N/A any N/A N/A N/A N/A s startswith N/A name N/A iu ivy_compose_character N/A s name N/A name prefixes N/A isolate_component N/A N/A mod isolate_name N/A N/A N/A N/A isolate_name N/A mod isolates N/A N/A N/A N/A iu IvyError None N/A N/A undefined isolate: {} format isolate_name N/A isolate N/A N/A mod isolates N/A isolate_name N/A verified N/A set N/A N/A a relname N/A a N/A N/A isolate verified N/A present N/A set N/A N/A a relname N/A a N/A N/A isolate present N/A N/A N/A present update verified N/A N/A interpret_all_sorts N/A N/A type_name N/A list N/A N/A ivy_logic sig interp N/A N/A N/A N/A startswith_eq_some type_name present N/A N/A N/A N/A N/A ivy_logic sig interp N/A type_name N/A delegates N/A set N/A N/A N/A s delegated N/A s N/A mod delegates N/A N/A N/A s delegee N/A delegated_to N/A dict N/A N/A N/A N/A s delegated N/A N/A s delegee N/A s N/A mod delegates N/A N/A s delegee N/A derived N/A set N/A N/A N/A N/A N/A df args N/A 0 func name N/A df N/A mod concepts N/A name present N/A N/A N/A N/A name N/A mod hierarchy N/A name N/A N/A ivy_logic sig sorts N/A name derived N/A name N/A N/A ivy_logic sig interp N/A N/A N/A N/A iu IvyError None N/A N/A {} is not a module instance, sort, definition, or interpreted function format name N/A new_actions N/A N/A use_mixin N/A N/A N/A name N/A N/A startswith_some name present N/A mod_mixin N/A N/A N/A m N/A N/A N/A startswith_some name verified m N/A N/A m prefix_calls ext: N/A all_mixins N/A N/A N/A m N/A True N/A no_mixins N/A N/A N/A m N/A False N/A after_mixins N/A N/A N/A m N/A N/A isinstance m N/A ivy_ast MixinAfterDef N/A before_mixins N/A N/A N/A m N/A N/A isinstance m N/A ivy_ast MixinBeforeDef N/A delegated_to_verified N/A N/A N/A n N/A N/A N/A n delegated_to N/A startswith_eq_some N/A delegated_to N/A n verified N/A ext_assumes N/A N/A N/A m N/A N/A N/A before_mixins m N/A N/A delegated_to_verified N/A N/A m mixer N/A N/A actname action N/A N/A N/A mod actions iteritems N/A N/A ver N/A startswith_some actname verified N/A pre N/A startswith_some actname present N/A pre N/A N/A N/A ver N/A N/A N/A hasattr action lineno N/A N/A hasattr action formal_params action N/A ext_action N/A N/A N/A N/A action assert_to_assume prefix_calls ext: N/A N/A hasattr ext_action lineno N/A N/A hasattr ext_action formal_params ext_action N/A N/A actname delegates N/A N/A int_action N/A N/A action prefix_calls ext: N/A N/A hasattr int_action lineno N/A N/A hasattr int_action formal_params int_action N/A N/A int_action ext_action N/A N/A hasattr int_action lineno N/A N/A hasattr int_action formal_params int_action N/A N/A int_action ext_action action N/A N/A hasattr int_action lineno N/A N/A hasattr int_action formal_params int_action N/A N/A new_actions N/A actname N/A add_mixins mod actname int_action no_mixins use_mixin N/A N/A N/A m N/A m N/A new_action N/A add_mixins mod actname ext_action ext_assumes use_mixin mod_mixin N/A N/A new_actions N/A N/A ext: actname new_action N/A N/A action N/A summarize_action action N/A N/A new_actions N/A actname N/A add_mixins mod actname action after_mixins use_mixin mod_mixin N/A N/A new_actions N/A N/A ext: actname N/A add_mixins mod actname action all_mixins use_mixin mod_mixin N/A exported N/A set N/A e N/A mod exports N/A N/A N/A N/A N/A N/A e scope N/A startswith_some N/A N/A e exported present N/A N/A N/A N/A exported add N/A ext: N/A N/A e exported N/A N/A actname action N/A N/A N/A mod actions iteritems N/A N/A N/A N/A startswith_some actname present N/A N/A c N/A N/A action iter_calls N/A N/A N/A startswith_some c present N/A N/A N/A N/A exported add N/A ext: c N/A create_big_action N/A N/A ext_act N/A N/A ia ChoiceAction N/A N/A new_actions N/A x N/A x N/A sorted exported N/A N/A N/A exported add ext N/A N/A new_actions N/A ext ext_act N/A keep_sym N/A N/A N/A name N/A N/A N/A N/A iu ivy_compose_character name N/A startswith_eq_some name present N/A keep_ax N/A N/A N/A name N/A N/A N/A name None N/A startswith_eq_some N/A str name present N/A new_conjs N/A c N/A c N/A mod labeled_conjs N/A keep_ax N/A c label N/A N/A N/A mod labeled_conjs N/A N/A N/A N/A N/A mod labeled_conjs extend new_conjs N/A new_syms N/A set N/A s N/A s N/A N/A mod sig symbols N/A keep_sym s N/A s N/A list N/A N/A mod sig symbols N/A N/A N/A s new_syms N/A N/A N/A N/A N/A mod sig symbols N/A s N/A new_inits N/A c N/A c N/A mod labeled_inits N/A keep_ax N/A c label N/A N/A N/A mod labeled_inits N/A N/A N/A N/A N/A mod labeled_inits extend new_inits N/A init_cond N/A N/A ivy_logic And N/A N/A lf formula N/A lf new_inits N/A N/A N/A im module init_cond N/A N/A lu formula_to_clauses init_cond N/A N/A mod labeled_axioms N/A a N/A a N/A mod labeled_axioms N/A keep_ax N/A a label N/A N/A mod concepts N/A c N/A c N/A mod concepts N/A keep_ax N/A N/A N/A N/A c args N/A 0 func name N/A N/A N/A N/A mod public_actions clear N/A N/A N/A N/A mod public_actions update exported N/A N/A N/A N/A mod actions clear N/A N/A N/A N/A mod actions update new_actions N/A SortOrder N/A object N/A __init__ N/A N/A self arcs N/A N/A N/A N/A self arcs arcs N/A N/A N/A iu dbg arcs N/A __call__ N/A N/A self x y N/A N/A N/A x N/A N/A N/A x args N/A 0 relname N/A y N/A N/A N/A y args N/A 0 relname N/A N/A N/A iu dbg x N/A N/A N/A iu dbg y N/A res N/A N/A y N/A N/A self arcs N/A x -1 N/A N/A x N/A N/A self arcs N/A y 1 0 N/A N/A N/A iu dbg res N/A res N/A N/A get_mixin_order N/A N/A iso mod N/A N/A N/A arcs N/A N/A N/A N/A N/A rdf args N/A 0 relname N/A N/A N/A rdf args N/A 1 relname N/A rdf N/A mod mixord N/A actions N/A N/A N/A mod mixins keys N/A action actions N/A N/A mixins N/A N/A mod mixins N/A action N/A mixers N/A N/A iu topological_sort N/A list N/A set N/A N/A N/A m mixer N/A m mixins arcs N/A N/A N/A iu dbg mixers N/A keymap N/A dict N/A N/A x y N/A N/A y x N/A enumerate mixers N/A key N/A N/A N/A m N/A N/A keymap N/A N/A N/A m mixer N/A before N/A sorted N/A m N/A m mixins N/A isinstance m N/A ivy_ast MixinBeforeDef key key N/A after N/A sorted N/A m N/A m mixins N/A isinstance m N/A ivy_ast MixinAfterDef key key N/A N/A N/A before reverse N/A mixins N/A before after N/A N/A N/A mod mixins N/A action mixins N/A create_isolate N/A N/A iso mod N/A None N/A N/A mod N/A mod N/A im module N/A N/A name mixins N/A N/A N/A mod mixins iteritems N/A N/A mixin mixins N/A N/A N/A ASTContext mixins N/A N/A N/A action1 action2 N/A N/A lookup_action mixin mod N/A a relname N/A a N/A mixin args N/A dl N/A mod delegates N/A N/A N/A lookup_action N/A N/A dl args N/A 0 mod N/A N/A dl delegated N/A N/A N/A N/A dl delegee N/A N/A N/A dl delegee N/A mod hierarchy N/A N/A N/A N/A iu IvyError N/A N/A dl args N/A 1 N/A N/A {} is not a module instance format name N/A N/A get_mixin_order iso mod N/A iso N/A N/A N/A isolate_component mod iso N/A N/A N/A name mixins N/A N/A N/A mod mixins iteritems N/A N/A mixin mixins N/A N/A N/A action1 action2 N/A N/A lookup_action mixin mod N/A a relname N/A a N/A mixin args N/A mixed N/A N/A ia apply_mixin mixin action1 action2 N/A N/A N/A mod actions N/A N/A N/A N/A mixin args N/A 1 relname mixed N/A N/A mod exports N/A N/A N/A N/A N/A mod public_actions clear N/A e N/A mod exports N/A N/A N/A N/A N/A e scope N/A N/A N/A N/A N/A mod public_actions add N/A N/A e exported N/A N/A a N/A mod actions N/A N/A N/A N/A N/A mod public_actions add a N/A N/A N/A slv check_compat N/A N/A i cax N/A enumerate N/A mod labeled_conjs N/A N/A fmla N/A cax formula N/A csname N/A conjecture: N/A str i N/A variables N/A list N/A N/A lu used_variables_ast fmla N/A sort N/A N/A ivy_logic RelationSort N/A N/A v sort N/A v variables N/A sym N/A N/A ivy_logic Symbol csname sort N/A space N/A N/A ics NamedSpace N/A N/A ivy_logic Literal 0 fmla N/A N/A N/A N/A mod concept_spaces append N/A N/A sym variables space N/A N/A N/A ith check_theory N/A N/A N/A show_compiled get N/A N/A N/A x y N/A N/A N/A mod actions iteritems N/A N/A N/A N/A iu pretty N/A N/A action {} = {} format x y N/A