var searchIndex = {};
searchIndex["adapton"] = {"doc":"","items":[[0,"macros","adapton","",null,null],[3,"ProgPt","adapton::macros","",null,null],[12,"symbol","","",0,null],[5,"my_hash","","",null,{"inputs":[{"name":"t"}],"output":{"name":"u64"}}],[11,"hash","","",0,null],[11,"clone","","",0,null],[11,"eq","","",0,null],[11,"ne","","",0,null],[11,"fmt","","",0,null],[0,"adapton_sigs","adapton","",null,null],[3,"MutArt","adapton::adapton_sigs","TODO: Same scoping issue as `Art`; should be in `Adapton` trait.",null,null],[12,"loc","","",1,null],[12,"phantom","","",1,null],[3,"Cnt","","",null,null],[12,"dirty","","",2,null],[12,"eval","","",2,null],[12,"change_prop","","",2,null],[4,"Art","","The term "Art" stands for two things here: "Adapton return type",\nand "Articulation point, for 'articulating' incremental change".\nThe concept of an "Art" also abstracts over whether the producer\nis eager (like a ref cell) or lazy (like a thunk).",null,null],[13,"Rc","","",3,null],[13,"Loc","","",3,null],[4,"ArtIdChoice","","An `ArtId` is a symbolic identity for an articulation point made by\nAdapton::thunk.  An ArtId is chosen by the programmer to identify\nthe point during evaluation (and simultaneously, to identify the\npoint during re-evaluation).\nAn `Eager` identity is special, and it means "do not introduce any\nlaziness/memoization overhead here"; when Eager is used, no thunk\nis created; rather, the computation eagerly produces an articulated\nvalue of the form Art::Rc(v), for some value v.",null,null],[13,"Eager","","",4,null],[13,"Structural","","",4,null],[13,"Nominal","","",4,null],[8,"Adapton","","The `Adapton` trait provides a language of\ndependence-graph-building operations based on the core calculus\ndescribed in ["Incremental Computation with Names", 2015](http://arxiv.org/abs/1503.07792)",null,null],[16,"Name","","",5,null],[16,"Loc","","",5,null],[10,"new","","",5,{"inputs":[],"output":{"name":"self"}}],[10,"name_of_usize","","",5,{"inputs":[{"name":"self"},{"name":"usize"}],"output":{"name":"name"}}],[10,"name_of_string","","",5,{"inputs":[{"name":"self"},{"name":"string"}],"output":{"name":"name"}}],[10,"name_pair","","",5,{"inputs":[{"name":"self"},{"name":"name"},{"name":"name"}],"output":{"name":"name"}}],[10,"name_fork","","",5,null],[10,"ns","","Creates or re-enters a given namespace; performs the given computation there.",5,{"inputs":[{"name":"self"},{"name":"name"},{"name":"f"}],"output":{"name":"t"}}],[10,"cnt","","",5,null],[10,"put","","Creates immutable, eager articulation.",5,{"inputs":[{"name":"self"},{"name":"t"}],"output":{"name":"art"}}],[10,"cell","","Creates a mutable articulation.",5,{"inputs":[{"name":"self"},{"name":"name"},{"name":"t"}],"output":{"name":"mutart"}}],[10,"set","","Mutates a mutable articulation.",5,{"inputs":[{"name":"self"},{"name":"mutart"},{"name":"t"}],"output":null}],[10,"thunk","","Creates an articulated computation.",5,{"inputs":[{"name":"self"},{"name":"artidchoice"},{"name":"progpt"},{"name":"rc"},{"name":"arg"},{"name":"spurious"}],"output":{"name":"art"}}],[10,"force","","Demand & observe arts (all kinds): force",5,{"inputs":[{"name":"self"},{"name":"art"}],"output":{"name":"t"}}],[11,"name_fork3","","# Derived fork functions:",5,null],[11,"name_fork4","","",5,null],[11,"read_only","","",5,{"inputs":[{"name":"self"},{"name":"mutart"}],"output":{"name":"art"}}],[8,"AdaptonData","","",null,null],[11,"clone","","",3,null],[11,"eq","","",3,null],[11,"ne","","",3,null],[11,"fmt","","",3,null],[11,"hash","","",3,null],[11,"clone","","",1,null],[11,"eq","","",1,null],[11,"ne","","",1,null],[11,"fmt","","",1,null],[11,"hash","","",1,null],[11,"clone","","",4,null],[11,"eq","","",4,null],[11,"ne","","",4,null],[11,"fmt","","",4,null],[11,"hash","","",4,null],[11,"clone","","",2,null],[11,"eq","","",2,null],[11,"ne","","",2,null],[11,"hash","","",2,null],[11,"fmt","","",2,null],[11,"sub","","",2,null],[11,"add","","",2,null],[11,"zero","","",2,{"inputs":[],"output":{"name":"self"}}],[0,"engine","adapton","",null,null],[3,"Name","adapton::engine","",null,null],[3,"Loc","","",null,null],[3,"Flags","","",null,null],[12,"ignore_nominal_use_structural","","",6,null],[3,"Engine","","",null,null],[12,"flags","","",7,null],[5,"main","","",null,{"inputs":[],"output":null}],[11,"clone","","",8,null],[11,"eq","","",8,null],[11,"ne","","",8,null],[11,"hash","","",8,null],[11,"fmt","","",8,null],[11,"clone","","",9,null],[11,"eq","","",9,null],[11,"ne","","",9,null],[11,"hash","","",9,null],[11,"fmt","","",9,null],[11,"fmt","","",6,null],[11,"fmt","","",7,null],[11,"hash","","",7,null],[11,"eq","","",7,null],[11,"clone","","",7,null],[11,"new","","",7,{"inputs":[],"output":{"name":"engine"}}],[11,"name_of_string","","",7,{"inputs":[{"name":"engine"},{"name":"string"}],"output":{"name":"name"}}],[11,"name_of_usize","","",7,{"inputs":[{"name":"engine"},{"name":"usize"}],"output":{"name":"name"}}],[11,"name_pair","","",7,{"inputs":[{"name":"engine"},{"name":"name"},{"name":"name"}],"output":{"name":"name"}}],[11,"name_fork","","",7,null],[11,"ns","","",7,{"inputs":[{"name":"self"},{"name":"name"},{"name":"f"}],"output":{"name":"t"}}],[11,"cnt","","",7,null],[11,"put","","",7,{"inputs":[{"name":"engine"},{"name":"t"}],"output":{"name":"art"}}],[11,"cell","","",7,{"inputs":[{"name":"engine"},{"name":"name"},{"name":"t"}],"output":{"name":"mutart"}}],[11,"set","","",7,{"inputs":[{"name":"self"},{"name":"mutart"},{"name":"t"}],"output":null}],[11,"thunk","","",7,{"inputs":[{"name":"engine"},{"name":"artidchoice"},{"name":"progpt"},{"name":"rc"},{"name":"arg"},{"name":"spurious"}],"output":{"name":"art"}}],[11,"force","","",7,{"inputs":[{"name":"engine"},{"name":"art"}],"output":{"name":"t"}}],[0,"naive","adapton","",null,null],[3,"Name","adapton::naive","",null,null],[3,"AdaptonFromScratch","","",null,null],[6,"Loc","","",null,null],[11,"eq","","",10,null],[11,"hash","","",10,null],[11,"clone","","",10,null],[11,"fmt","","",10,null],[11,"hash","","",11,null],[11,"fmt","","",11,null],[11,"eq","","",11,null],[11,"clone","","",11,null],[11,"new","","",11,{"inputs":[],"output":{"name":"adaptonfromscratch"}}],[11,"name_of_string","","",11,{"inputs":[{"name":"adaptonfromscratch"},{"name":"string"}],"output":{"name":"name"}}],[11,"name_of_usize","","",11,{"inputs":[{"name":"adaptonfromscratch"},{"name":"usize"}],"output":{"name":"name"}}],[11,"name_pair","","",11,{"inputs":[{"name":"adaptonfromscratch"},{"name":"name"},{"name":"name"}],"output":{"name":"name"}}],[11,"name_fork","","",11,null],[11,"ns","","",11,{"inputs":[{"name":"adaptonfromscratch"},{"name":"name"},{"name":"f"}],"output":{"name":"t"}}],[11,"cnt","","",11,null],[11,"put","","",11,{"inputs":[{"name":"adaptonfromscratch"},{"name":"t"}],"output":{"name":"art"}}],[11,"cell","","",11,{"inputs":[{"name":"adaptonfromscratch"},{"name":"name"},{"name":"t"}],"output":{"name":"mutart"}}],[11,"set","","",11,{"inputs":[{"name":"adaptonfromscratch"},{"name":"mutart"},{"name":"t"}],"output":null}],[11,"thunk","","",11,{"inputs":[{"name":"adaptonfromscratch"},{"name":"artidchoice"},{"name":"progpt"},{"name":"rc"},{"name":"arg"},{"name":"spurious"}],"output":{"name":"art"}}],[11,"force","","",11,{"inputs":[{"name":"adaptonfromscratch"},{"name":"art"}],"output":{"name":"res"}}],[0,"simple","adapton","",null,null],[5,"fact","adapton::simple","",null,{"inputs":[{"name":"a"},{"name":"u64"}],"output":{"name":"u64"}}],[5,"run_fact","","",null,{"inputs":[{"name":"u64"}],"output":{"name":"u64"}}],[5,"run_fact_repeat","","",null,{"inputs":[{"name":"u64"},{"name":"u64"}],"output":{"name":"u64"}}],[0,"collection_traits","adapton","",null,null],[4,"Dir2","adapton::collection_traits","Lists are one-dimensional structures; movement admits two possible directions.",null,null],[13,"Left","","",12,null],[13,"Right","","",12,null],[8,"ListT","","",null,null],[16,"List","","",13,null],[10,"nil","","",13,{"inputs":[{"name":"a"}],"output":{"name":"list"}}],[10,"cons","","",13,{"inputs":[{"name":"a"},{"name":"hd"},{"name":"list"}],"output":{"name":"list"}}],[10,"name","","",13,{"inputs":[{"name":"a"},{"name":"name"},{"name":"list"}],"output":{"name":"list"}}],[10,"art","","",13,{"inputs":[{"name":"a"},{"name":"art"}],"output":{"name":"list"}}],[10,"rc","","",13,{"inputs":[{"name":"a"},{"name":"rc"}],"output":{"name":"list"}}],[10,"elim","","",13,{"inputs":[{"name":"a"},{"name":"list"},{"name":"nil"},{"name":"cons"},{"name":"name"}],"output":{"name":"res"}}],[10,"elim_move","","",13,{"inputs":[{"name":"a"},{"name":"list"},{"name":"arg"},{"name":"nil"},{"name":"cons"},{"name":"name"}],"output":{"name":"res"}}],[11,"singleton","","",13,{"inputs":[{"name":"a"},{"name":"hd"}],"output":{"name":"list"}}],[11,"is_empty","","",13,{"inputs":[{"name":"a"},{"name":"list"}],"output":{"name":"bool"}}],[8,"TreeT","","",null,null],[16,"Lev","","",14,null],[16,"Tree","","",14,null],[10,"lev","","",14,{"inputs":[{"name":"x"}],"output":{"name":"lev"}}],[10,"lev_of_tree","","",14,{"inputs":[{"name":"a"},{"name":"tree"}],"output":{"name":"lev"}}],[10,"lev_bits","","",14,{"inputs":[],"output":{"name":"lev"}}],[10,"lev_zero","","",14,{"inputs":[],"output":{"name":"lev"}}],[10,"lev_inc","","",14,{"inputs":[{"name":"lev"}],"output":{"name":"lev"}}],[10,"lev_add","","",14,{"inputs":[{"name":"lev"},{"name":"lev"}],"output":{"name":"lev"}}],[10,"lev_lte","","",14,{"inputs":[{"name":"lev"},{"name":"lev"}],"output":{"name":"bool"}}],[10,"lev_max_val","","",14,{"inputs":[],"output":{"name":"lev"}}],[11,"lev_max","","",14,{"inputs":[{"name":"lev"},{"name":"lev"}],"output":{"name":"lev"}}],[10,"nil","","",14,{"inputs":[{"name":"a"}],"output":{"name":"tree"}}],[10,"leaf","","",14,{"inputs":[{"name":"a"},{"name":"leaf"}],"output":{"name":"tree"}}],[10,"bin","","",14,{"inputs":[{"name":"a"},{"name":"lev"},{"name":"tree"},{"name":"tree"}],"output":{"name":"tree"}}],[10,"name","","",14,{"inputs":[{"name":"a"},{"name":"name"},{"name":"lev"},{"name":"tree"},{"name":"tree"}],"output":{"name":"tree"}}],[10,"art","","",14,{"inputs":[{"name":"a"},{"name":"art"}],"output":{"name":"tree"}}],[10,"rc","","",14,{"inputs":[{"name":"a"},{"name":"rc"}],"output":{"name":"tree"}}],[10,"elim","","",14,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"nilc"},{"name":"leafc"},{"name":"binc"},{"name":"namec"}],"output":{"name":"res"}}],[10,"elim_ref","","",14,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"nilc"},{"name":"leafc"},{"name":"binc"},{"name":"namec"}],"output":{"name":"res"}}],[10,"elim_move","","",14,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"arg"},{"name":"nilc"},{"name":"leafc"},{"name":"binc"},{"name":"namec"}],"output":{"name":"res"}}],[11,"fold_lr","","",14,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"res"},{"name":"leafc"},{"name":"binc"},{"name":"namec"}],"output":{"name":"res"}}],[11,"fold_rl","","",14,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"res"},{"name":"leafc"},{"name":"binc"},{"name":"namec"}],"output":{"name":"res"}}],[11,"fold_up","","",14,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"nilc"},{"name":"leafc"},{"name":"binc"},{"name":"namec"}],"output":{"name":"res"}}],[8,"SetT","","",null,null],[16,"Set","","",15,null],[10,"empty","","",15,{"inputs":[{"name":"a"}],"output":null}],[10,"update_elm","","",15,null],[10,"elim_move","","",15,{"inputs":[{"name":"a"},{"name":"set"},{"name":"arg"},{"name":"nilc"},{"name":"elmc"},{"name":"unionc"}],"output":{"name":"res"}}],[10,"is_mem","","",15,{"inputs":[{"name":"a"},{"name":"set"},{"name":"elm"}],"output":{"name":"bool"}}],[10,"is_empty","","",15,{"inputs":[{"name":"a"},{"name":"set"}],"output":{"name":"bool"}}],[8,"MapT","","",null,null],[16,"Map","","",16,null],[10,"empty","","",16,{"inputs":[{"name":"a"}],"output":null}],[10,"update_pt","","",16,null],[10,"elim_move","","",16,{"inputs":[{"name":"a"},{"name":"map"},{"name":"arg"},{"name":"nilc"},{"name":"elmc"},{"name":"unionc"}],"output":null}],[10,"rem","","",16,null],[10,"get","","",16,{"inputs":[{"name":"a"},{"name":"map"},{"name":"dom"}],"output":{"name":"option"}}],[8,"GraphT","","",null,null],[16,"Graph","","",17,null],[10,"empty","","",17,{"inputs":[{"name":"a"}],"output":null}],[10,"add_node","","",17,{"inputs":[{"name":"a"},{"name":"graph"},{"name":"node"}],"output":{"name":"graph"}}],[10,"add_edge","","",17,{"inputs":[{"name":"a"},{"name":"graph"},{"name":"node"},{"name":"node"}],"output":{"name":"graph"}}],[10,"add_succs","","",17,{"inputs":[{"name":"a"},{"name":"graph"},{"name":"node"},{"name":"nodeset"}],"output":{"name":"graph"}}],[10,"get_succs","","",17,{"inputs":[{"name":"a"},{"name":"graph"},{"name":"node"}],"output":{"name":"nodeset"}}],[11,"clone","","",12,null],[11,"eq","","",12,null],[11,"hash","","",12,null],[11,"fmt","","",12,null],[11,"rand","","",12,{"inputs":[{"name":"r"}],"output":{"name":"dir2"}}],[11,"arbitrary","","",12,{"inputs":[{"name":"g"}],"output":{"name":"self"}}],[11,"shrink","","",12,null],[0,"collection_algo","adapton","",null,null],[5,"tree_reduce_monoid","adapton::collection_algo","",null,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"elm"},{"name":"binop"}],"output":{"name":"elm"}}],[5,"list_reduce_monoid","","",null,{"inputs":[{"name":"a"},{"name":"list"},{"name":"elm"},{"name":"binop"}],"output":{"name":"elm"}}],[5,"tree_filter","","",null,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"f"}],"output":{"name":"tree"}}],[5,"list_of_tree","","",null,{"inputs":[{"name":"a"},{"name":"tree"}],"output":{"name":"list"}}],[5,"rev_list_of_tree","","",null,{"inputs":[{"name":"a"},{"name":"tree"}],"output":{"name":"list"}}],[5,"vec_of_list","","",null,{"inputs":[{"name":"a"},{"name":"list"},{"name":"option"}],"output":{"name":"vec"}}],[5,"list_of_vec","","",null,{"inputs":[{"name":"a"},{"name":"vec"}],"output":{"name":"list"}}],[5,"rev_list_of_vec","","",null,{"inputs":[{"name":"a"},{"name":"vec"}],"output":{"name":"list"}}],[5,"tree_of_list","","",null,{"inputs":[{"name":"a"},{"name":"dir2"},{"name":"list"}],"output":{"name":"tree"}}],[5,"tree_of_list_rec","","",null,null],[5,"list_merge","","",null,{"inputs":[{"name":"a"},{"name":"option"},{"name":"list"},{"name":"option"},{"name":"list"}],"output":{"name":"list"}}],[5,"list_merge_sort","","",null,{"inputs":[{"name":"a"},{"name":"list"}],"output":{"name":"list"}}],[5,"tree_merge_sort","","",null,{"inputs":[{"name":"a"},{"name":"tree"}],"output":{"name":"list"}}],[5,"tree_append","","",null,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"tree"}],"output":{"name":"tree"}}],[5,"tree_append__name_dropping","","",null,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"tree"}],"output":{"name":"tree"}}],[0,"collection_edit","adapton","",null,null],[3,"ListZipper","adapton::collection_edit","Lists with a focus; suitable to implement `ListEdit`.",null,null],[12,"left","","Elements to the left of the focus, nearest to furthest.",18,null],[12,"right","","Elements to the right of the focus, nearest to furthest.",18,null],[4,"CursorEdit","","",null,null],[13,"Insert","","",19,null],[13,"Remove","","",19,null],[13,"Replace","","",19,null],[13,"Goto","","",19,null],[4,"ListTransf","","",null,null],[13,"Sort","","",20,null],[13,"Reverse","","",20,null],[4,"ListReduce","","",null,null],[13,"Sum","","",21,null],[13,"Max","","",21,null],[13,"Min","","",21,null],[13,"Median","","",21,null],[13,"Vec","","",21,null],[13,"Tree","","",21,null],[5,"eval_edit","","",null,{"inputs":[{"name":"a"},{"name":"cursoredit"},{"name":"state"},{"name":"usize"}],"output":{"name":"state"}}],[5,"demand_vec","","",null,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"listtransf"},{"name":"option"}],"output":{"name":"vec"}}],[5,"demand_tree","","",null,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"listtransf"},{"name":"option"}],"output":{"name":"vec"}}],[5,"eval_reduce","","",null,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"listreduce"}],"output":{"name":"vec"}}],[8,"ExperimentT","","",null,null],[16,"ListEdit","","",22,null],[10,"run","","",22,{"inputs":[{"name":"a"},{"name":"vec"},{"name":"listreduce"}],"output":{"name":"vec"}}],[8,"ListEdit","","`ListEdit<A,X,L>` gives a simple notion of list-editing that is\ngeneric with respect to adapton implementation `A`, list element\ntype `X`, and list implementation `L`.",null,null],[16,"State","","The State of the Editor is abstract.",23,null],[16,"Dir","","Lists with foci admit two directions for movement.",23,null],[10,"empty","","",23,{"inputs":[{"name":"a"}],"output":{"name":"state"}}],[10,"insert","","",23,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"},{"name":"x"}],"output":{"name":"state"}}],[10,"remove","","",23,null],[10,"replace","","",23,null],[10,"goto","","",23,null],[10,"observe","","",23,null],[10,"clr_names","","",23,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"}],"output":{"name":"state"}}],[10,"ins_name","","",23,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"},{"name":"name"}],"output":{"name":"state"}}],[10,"ins_cell","","",23,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"},{"name":"name"}],"output":{"name":"state"}}],[10,"rem_name","","",23,null],[10,"get_list","","",23,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"}],"output":{"name":"list"}}],[10,"get_tree","","",23,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"}],"output":{"name":"tree"}}],[11,"clone","","",19,null],[11,"eq","","",19,null],[11,"ne","","",19,null],[11,"hash","","",19,null],[11,"fmt","","",19,null],[11,"clone","","",20,null],[11,"eq","","",20,null],[11,"hash","","",20,null],[11,"fmt","","",20,null],[11,"clone","","",21,null],[11,"eq","","",21,null],[11,"ne","","",21,null],[11,"hash","","",21,null],[11,"fmt","","",21,null],[11,"arbitrary","","",19,{"inputs":[{"name":"g"}],"output":{"name":"self"}}],[11,"shrink","","",19,null],[11,"clone","","",18,null],[11,"eq","","",18,null],[11,"ne","","",18,null],[11,"hash","","",18,null],[11,"fmt","","",18,null],[11,"clr_names","","",18,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"}],"output":{"name":"state"}}],[11,"ins_name","","",18,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"},{"name":"name"}],"output":{"name":"state"}}],[11,"ins_cell","","",18,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"},{"name":"name"}],"output":{"name":"state"}}],[11,"rem_name","","",18,null],[11,"empty","","",18,{"inputs":[{"name":"a"}],"output":{"name":"state"}}],[11,"insert","","",18,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"},{"name":"x"}],"output":{"name":"state"}}],[11,"remove","","",18,null],[11,"goto","","",18,null],[11,"observe","","",18,null],[11,"replace","","",18,null],[11,"get_list","","",18,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"}],"output":{"name":"list"}}],[11,"get_tree","","Creates a tree whose leaves hold the contents of the zipper, in order.\nWhen `dir=Left`,  the tree's leaves are ordered from left-to-right, i.e., as (rev left) @ right.\nWhen `dir=Right`, the tree's leaves are ordered from right-to-left, i.e., as (rev right) @ left.",18,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"}],"output":{"name":"tree"}}],[0,"collection","adapton","",null,null],[4,"List","adapton::collection","",null,null],[13,"Nil","","",24,null],[13,"Cons","","",24,null],[13,"Rc","","",24,null],[13,"Name","","",24,null],[13,"Art","","",24,null],[4,"Tree","","",null,null],[13,"Nil","","",25,null],[13,"Leaf","","",25,null],[13,"Bin","","",25,null],[13,"Name","","",25,null],[13,"Rc","","",25,null],[13,"Art","","",25,null],[11,"clone","","",24,null],[11,"hash","","",24,null],[11,"eq","","",24,null],[11,"ne","","",24,null],[11,"fmt","","",24,null],[11,"nil","","",24,{"inputs":[{"name":"a"}],"output":{"name":"list"}}],[11,"cons","","",24,{"inputs":[{"name":"a"},{"name":"hd"},{"name":"list"}],"output":{"name":"list"}}],[11,"name","","",24,{"inputs":[{"name":"a"},{"name":"name"},{"name":"list"}],"output":{"name":"list"}}],[11,"rc","","",24,{"inputs":[{"name":"a"},{"name":"rc"}],"output":{"name":"list"}}],[11,"art","","",24,{"inputs":[{"name":"a"},{"name":"art"}],"output":{"name":"list"}}],[11,"elim","","",24,{"inputs":[{"name":"a"},{"name":"list"},{"name":"nil"},{"name":"cons"},{"name":"name"}],"output":{"name":"res"}}],[11,"elim_move","","",24,{"inputs":[{"name":"a"},{"name":"list"},{"name":"arg"},{"name":"nil"},{"name":"cons"},{"name":"name"}],"output":{"name":"res"}}],[11,"clone","","",25,null],[11,"hash","","",25,null],[11,"eq","","",25,null],[11,"ne","","",25,null],[11,"fmt","","",25,null],[11,"lev","","",25,{"inputs":[{"name":"x"}],"output":{"name":"lev"}}],[11,"lev_of_tree","","",25,{"inputs":[{"name":"a"},{"name":"tree"}],"output":{"name":"lev"}}],[11,"lev_bits","","",25,{"inputs":[],"output":{"name":"lev"}}],[11,"lev_zero","","",25,{"inputs":[],"output":{"name":"lev"}}],[11,"lev_max_val","","",25,{"inputs":[],"output":{"name":"lev"}}],[11,"lev_add","","",25,{"inputs":[{"name":"lev"},{"name":"lev"}],"output":{"name":"lev"}}],[11,"lev_inc","","",25,{"inputs":[{"name":"lev"}],"output":{"name":"lev"}}],[11,"lev_lte","","",25,{"inputs":[{"name":"lev"},{"name":"lev"}],"output":{"name":"bool"}}],[11,"nil","","",25,{"inputs":[{"name":"a"}],"output":{"name":"tree"}}],[11,"leaf","","",25,{"inputs":[{"name":"a"},{"name":"leaf"}],"output":{"name":"tree"}}],[11,"bin","","",25,{"inputs":[{"name":"a"},{"name":"lev"},{"name":"tree"},{"name":"tree"}],"output":{"name":"tree"}}],[11,"name","","",25,{"inputs":[{"name":"a"},{"name":"name"},{"name":"lev"},{"name":"tree"},{"name":"tree"}],"output":{"name":"tree"}}],[11,"rc","","",25,{"inputs":[{"name":"a"},{"name":"rc"}],"output":{"name":"tree"}}],[11,"art","","",25,{"inputs":[{"name":"a"},{"name":"art"}],"output":{"name":"tree"}}],[11,"elim_move","","",25,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"arg"},{"name":"nilc"},{"name":"leafc"},{"name":"binc"},{"name":"namec"}],"output":{"name":"res"}}],[11,"elim","","",25,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"nilc"},{"name":"leafc"},{"name":"binc"},{"name":"namec"}],"output":{"name":"res"}}],[11,"elim_ref","","",25,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"nilc"},{"name":"leafc"},{"name":"binc"},{"name":"namec"}],"output":{"name":"res"}}],[14,"prog_pt!","adapton","",null,null],[14,"thunk!","","",null,null],[14,"memo!","","",null,null],[14,"eager!","","",null,null]],"paths":[[3,"ProgPt"],[3,"MutArt"],[3,"Cnt"],[4,"Art"],[4,"ArtIdChoice"],[8,"Adapton"],[3,"Flags"],[3,"Engine"],[3,"Name"],[3,"Loc"],[3,"Name"],[3,"AdaptonFromScratch"],[4,"Dir2"],[8,"ListT"],[8,"TreeT"],[8,"SetT"],[8,"MapT"],[8,"GraphT"],[3,"ListZipper"],[4,"CursorEdit"],[4,"ListTransf"],[4,"ListReduce"],[8,"ExperimentT"],[8,"ListEdit"],[4,"List"],[4,"Tree"]]};
initSearch(searchIndex);