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,"Engine","","",null,null],[5,"main","","",null,{"inputs":[],"output":null}],[11,"clone","","",6,null],[11,"eq","","",6,null],[11,"ne","","",6,null],[11,"hash","","",6,null],[11,"fmt","","",6,null],[11,"clone","","",7,null],[11,"eq","","",7,null],[11,"ne","","",7,null],[11,"hash","","",7,null],[11,"fmt","","",7,null],[11,"fmt","","",8,null],[11,"hash","","",8,null],[11,"eq","","",8,null],[11,"clone","","",8,null],[11,"new","","",8,{"inputs":[],"output":{"name":"engine"}}],[11,"name_of_string","","",8,{"inputs":[{"name":"engine"},{"name":"string"}],"output":{"name":"name"}}],[11,"name_of_usize","","",8,{"inputs":[{"name":"engine"},{"name":"usize"}],"output":{"name":"name"}}],[11,"name_pair","","",8,{"inputs":[{"name":"engine"},{"name":"name"},{"name":"name"}],"output":{"name":"name"}}],[11,"name_fork","","",8,null],[11,"ns","","",8,{"inputs":[{"name":"self"},{"name":"name"},{"name":"f"}],"output":{"name":"t"}}],[11,"cnt","","",8,null],[11,"put","","",8,{"inputs":[{"name":"engine"},{"name":"t"}],"output":{"name":"art"}}],[11,"cell","","",8,{"inputs":[{"name":"engine"},{"name":"name"},{"name":"t"}],"output":{"name":"mutart"}}],[11,"set","","",8,{"inputs":[{"name":"self"},{"name":"mutart"},{"name":"t"}],"output":null}],[11,"thunk","","",8,{"inputs":[{"name":"engine"},{"name":"artidchoice"},{"name":"progpt"},{"name":"rc"},{"name":"arg"},{"name":"spurious"}],"output":{"name":"art"}}],[11,"force","","",8,{"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","","",9,null],[11,"hash","","",9,null],[11,"clone","","",9,null],[11,"fmt","","",9,null],[11,"hash","","",10,null],[11,"fmt","","",10,null],[11,"eq","","",10,null],[11,"clone","","",10,null],[11,"new","","",10,{"inputs":[],"output":{"name":"adaptonfromscratch"}}],[11,"name_of_string","","",10,{"inputs":[{"name":"adaptonfromscratch"},{"name":"string"}],"output":{"name":"name"}}],[11,"name_of_usize","","",10,{"inputs":[{"name":"adaptonfromscratch"},{"name":"usize"}],"output":{"name":"name"}}],[11,"name_pair","","",10,{"inputs":[{"name":"adaptonfromscratch"},{"name":"name"},{"name":"name"}],"output":{"name":"name"}}],[11,"name_fork","","",10,null],[11,"ns","","",10,{"inputs":[{"name":"adaptonfromscratch"},{"name":"name"},{"name":"f"}],"output":{"name":"t"}}],[11,"cnt","","",10,null],[11,"put","","",10,{"inputs":[{"name":"adaptonfromscratch"},{"name":"t"}],"output":{"name":"art"}}],[11,"cell","","",10,{"inputs":[{"name":"adaptonfromscratch"},{"name":"name"},{"name":"t"}],"output":{"name":"mutart"}}],[11,"set","","",10,{"inputs":[{"name":"adaptonfromscratch"},{"name":"mutart"},{"name":"t"}],"output":null}],[11,"thunk","","",10,{"inputs":[{"name":"adaptonfromscratch"},{"name":"artidchoice"},{"name":"progpt"},{"name":"rc"},{"name":"arg"},{"name":"spurious"}],"output":{"name":"art"}}],[11,"force","","",10,{"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","adapton","",null,null],[3,"Experiment","adapton::collection","",null,null],[3,"ListZipper","","Lists with a focus; suitable to implement `ListEdit`.",null,null],[12,"left","","Elements to the left of the focus, nearest to furthest.",11,null],[12,"right","","Elements to the right of the focus, nearest to furthest.",11,null],[4,"CursorEdit","","",null,null],[13,"Insert","","",12,null],[13,"Remove","","",12,null],[13,"Replace","","",12,null],[13,"Goto","","",12,null],[4,"Cmd","","",null,null],[13,"Basic","","",13,null],[13,"InsName","","",13,null],[13,"RemName","","",13,null],[13,"ShowView","","",13,null],[13,"HideView","","",13,null],[4,"ListTransf","","",null,null],[13,"Sort","","",14,null],[13,"Reverse","","",14,null],[4,"ListReduce","","",null,null],[13,"Max","","",15,null],[13,"Min","","",15,null],[13,"Median","","",15,null],[13,"DemandAll","","",15,null],[13,"DemandN","","",15,null],[4,"Dir2","","Lists are one-dimensional structures; movement admits two possible directions.",null,null],[13,"Left","","",16,null],[13,"Right","","",16,null],[4,"List","","",null,null],[13,"Nil","","",17,null],[13,"Cons","","",17,null],[13,"Rc","","",17,null],[13,"Name","","",17,null],[13,"Art","","",17,null],[4,"Tree","","",null,null],[13,"Nil","","",18,null],[13,"Leaf","","",18,null],[13,"Bin","","",18,null],[13,"Name","","",18,null],[13,"Rc","","",18,null],[13,"Art","","",18,null],[5,"tree_append","","",null,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"tree"}],"output":{"name":"tree"}}],[5,"tree_reduce_monoid","","",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,"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"}}],[8,"ExperimentT","","",null,null],[16,"ListEdit","","",19,null],[10,"run","","",19,{"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.",20,null],[16,"Dir","","Lists with foci admit two directions for movement.",20,null],[10,"empty","","",20,{"inputs":[{"name":"a"}],"output":{"name":"state"}}],[10,"insert","","",20,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"},{"name":"x"}],"output":{"name":"state"}}],[10,"remove","","",20,null],[10,"replace","","",20,null],[10,"goto","","",20,null],[10,"observe","","",20,null],[10,"clr_names","","",20,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"}],"output":{"name":"state"}}],[10,"ins_name","","",20,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"},{"name":"name"}],"output":{"name":"state"}}],[10,"ins_cell","","",20,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"},{"name":"name"}],"output":{"name":"state"}}],[10,"rem_name","","",20,null],[10,"get_list","","",20,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"}],"output":{"name":"list"}}],[10,"get_tree","","",20,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"}],"output":{"name":"tree"}}],[8,"ListT","","",null,null],[16,"List","","",21,null],[10,"nil","","",21,{"inputs":[{"name":"a"}],"output":{"name":"list"}}],[10,"cons","","",21,{"inputs":[{"name":"a"},{"name":"hd"},{"name":"list"}],"output":{"name":"list"}}],[10,"name","","",21,{"inputs":[{"name":"a"},{"name":"name"},{"name":"list"}],"output":{"name":"list"}}],[10,"art","","",21,{"inputs":[{"name":"a"},{"name":"art"}],"output":{"name":"list"}}],[10,"rc","","",21,{"inputs":[{"name":"a"},{"name":"rc"}],"output":{"name":"list"}}],[10,"elim","","",21,{"inputs":[{"name":"a"},{"name":"list"},{"name":"nil"},{"name":"cons"},{"name":"name"}],"output":{"name":"res"}}],[10,"elim_move","","",21,{"inputs":[{"name":"a"},{"name":"list"},{"name":"arg"},{"name":"nil"},{"name":"cons"},{"name":"name"}],"output":{"name":"res"}}],[11,"singleton","","",21,{"inputs":[{"name":"a"},{"name":"hd"}],"output":{"name":"list"}}],[11,"is_empty","","",21,{"inputs":[{"name":"a"},{"name":"list"}],"output":{"name":"bool"}}],[8,"TreeT","","",null,null],[16,"Lev","","",22,null],[16,"Tree","","",22,null],[10,"lev","","",22,{"inputs":[{"name":"x"}],"output":{"name":"lev"}}],[10,"lev_bits","","",22,{"inputs":[],"output":{"name":"lev"}}],[10,"lev_zero","","",22,{"inputs":[],"output":{"name":"lev"}}],[10,"lev_inc","","",22,{"inputs":[{"name":"lev"}],"output":{"name":"lev"}}],[10,"lev_max","","",22,{"inputs":[],"output":{"name":"lev"}}],[10,"lev_add","","",22,{"inputs":[{"name":"lev"},{"name":"lev"}],"output":{"name":"lev"}}],[10,"lev_lte","","",22,{"inputs":[{"name":"lev"},{"name":"lev"}],"output":{"name":"bool"}}],[10,"nil","","",22,{"inputs":[{"name":"a"}],"output":{"name":"tree"}}],[10,"leaf","","",22,{"inputs":[{"name":"a"},{"name":"leaf"}],"output":{"name":"tree"}}],[10,"bin","","",22,{"inputs":[{"name":"a"},{"name":"lev"},{"name":"tree"},{"name":"tree"}],"output":{"name":"tree"}}],[10,"name","","",22,{"inputs":[{"name":"a"},{"name":"name"},{"name":"lev"},{"name":"tree"},{"name":"tree"}],"output":{"name":"tree"}}],[10,"art","","",22,{"inputs":[{"name":"a"},{"name":"art"}],"output":{"name":"tree"}}],[10,"rc","","",22,{"inputs":[{"name":"a"},{"name":"rc"}],"output":{"name":"tree"}}],[10,"elim","","",22,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"nilc"},{"name":"leafc"},{"name":"binc"},{"name":"namec"}],"output":{"name":"res"}}],[10,"elim_move","","",22,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"arg"},{"name":"nilc"},{"name":"leafc"},{"name":"binc"},{"name":"namec"}],"output":{"name":"res"}}],[11,"fold_lr","","",22,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"res"},{"name":"leafc"},{"name":"binc"},{"name":"namec"}],"output":{"name":"res"}}],[11,"fold_rl","","",22,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"res"},{"name":"leafc"},{"name":"binc"},{"name":"namec"}],"output":{"name":"res"}}],[11,"fold_up","","",22,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"nilc"},{"name":"leafc"},{"name":"binc"},{"name":"namec"}],"output":{"name":"res"}}],[8,"SetT","","",null,null],[16,"Set","","",23,null],[10,"empty","","",23,{"inputs":[{"name":"a"}],"output":null}],[10,"update_elm","","",23,null],[10,"elim_move","","",23,{"inputs":[{"name":"a"},{"name":"set"},{"name":"arg"},{"name":"nilc"},{"name":"elmc"},{"name":"unionc"}],"output":{"name":"res"}}],[10,"is_mem","","",23,{"inputs":[{"name":"a"},{"name":"set"},{"name":"elm"}],"output":{"name":"bool"}}],[10,"is_empty","","",23,{"inputs":[{"name":"a"},{"name":"set"}],"output":{"name":"bool"}}],[8,"MapT","","",null,null],[16,"Map","","",24,null],[10,"empty","","",24,{"inputs":[{"name":"a"}],"output":null}],[10,"update_pt","","",24,null],[10,"elim_move","","",24,{"inputs":[{"name":"a"},{"name":"map"},{"name":"arg"},{"name":"nilc"},{"name":"elmc"},{"name":"unionc"}],"output":null}],[10,"rem","","",24,null],[10,"get","","",24,{"inputs":[{"name":"a"},{"name":"map"},{"name":"dom"}],"output":{"name":"option"}}],[8,"GraphT","","",null,null],[16,"Graph","","",25,null],[10,"empty","","",25,{"inputs":[{"name":"a"}],"output":null}],[10,"add_node","","",25,{"inputs":[{"name":"a"},{"name":"graph"},{"name":"node"}],"output":{"name":"graph"}}],[10,"add_edge","","",25,{"inputs":[{"name":"a"},{"name":"graph"},{"name":"node"},{"name":"node"}],"output":{"name":"graph"}}],[10,"add_succs","","",25,{"inputs":[{"name":"a"},{"name":"graph"},{"name":"node"},{"name":"nodeset"}],"output":{"name":"graph"}}],[10,"get_succs","","",25,{"inputs":[{"name":"a"},{"name":"graph"},{"name":"node"}],"output":{"name":"nodeset"}}],[11,"clone","","",12,null],[11,"eq","","",12,null],[11,"ne","","",12,null],[11,"hash","","",12,null],[11,"fmt","","",12,null],[11,"clone","","",13,null],[11,"eq","","",13,null],[11,"ne","","",13,null],[11,"hash","","",13,null],[11,"fmt","","",13,null],[11,"clone","","",14,null],[11,"eq","","",14,null],[11,"hash","","",14,null],[11,"fmt","","",14,null],[11,"clone","","",15,null],[11,"eq","","",15,null],[11,"ne","","",15,null],[11,"hash","","",15,null],[11,"fmt","","",15,null],[11,"arbitrary","","",16,{"inputs":[{"name":"g"}],"output":{"name":"self"}}],[11,"shrink","","",16,null],[11,"arbitrary","","",12,{"inputs":[{"name":"g"}],"output":{"name":"self"}}],[11,"shrink","","",12,null],[11,"run","","",26,{"inputs":[{"name":"a"},{"name":"vec"},{"name":"listreduce"}],"output":{"name":"vec"}}],[11,"clone","","",16,null],[11,"eq","","",16,null],[11,"hash","","",16,null],[11,"fmt","","",16,null],[11,"rand","","",16,{"inputs":[{"name":"r"}],"output":{"name":"dir2"}}],[11,"clone","","",11,null],[11,"eq","","",11,null],[11,"ne","","",11,null],[11,"hash","","",11,null],[11,"fmt","","",11,null],[11,"clr_names","","",11,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"}],"output":{"name":"state"}}],[11,"ins_name","","",11,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"},{"name":"name"}],"output":{"name":"state"}}],[11,"ins_cell","","",11,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"},{"name":"name"}],"output":{"name":"state"}}],[11,"rem_name","","",11,null],[11,"empty","","",11,{"inputs":[{"name":"a"}],"output":{"name":"state"}}],[11,"insert","","",11,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"},{"name":"x"}],"output":{"name":"state"}}],[11,"remove","","",11,null],[11,"goto","","",11,null],[11,"observe","","",11,null],[11,"replace","","",11,null],[11,"get_list","","",11,{"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.",11,{"inputs":[{"name":"a"},{"name":"state"},{"name":"dir"}],"output":{"name":"tree"}}],[11,"clone","","",17,null],[11,"hash","","",17,null],[11,"eq","","",17,null],[11,"ne","","",17,null],[11,"fmt","","",17,null],[11,"nil","","",17,{"inputs":[{"name":"a"}],"output":{"name":"list"}}],[11,"cons","","",17,{"inputs":[{"name":"a"},{"name":"hd"},{"name":"list"}],"output":{"name":"list"}}],[11,"name","","",17,{"inputs":[{"name":"a"},{"name":"name"},{"name":"list"}],"output":{"name":"list"}}],[11,"rc","","",17,{"inputs":[{"name":"a"},{"name":"rc"}],"output":{"name":"list"}}],[11,"art","","",17,{"inputs":[{"name":"a"},{"name":"art"}],"output":{"name":"list"}}],[11,"elim","","",17,{"inputs":[{"name":"a"},{"name":"list"},{"name":"nil"},{"name":"cons"},{"name":"name"}],"output":{"name":"res"}}],[11,"elim_move","","",17,{"inputs":[{"name":"a"},{"name":"list"},{"name":"arg"},{"name":"nil"},{"name":"cons"},{"name":"name"}],"output":{"name":"res"}}],[11,"clone","","",18,null],[11,"hash","","",18,null],[11,"eq","","",18,null],[11,"ne","","",18,null],[11,"fmt","","",18,null],[11,"lev","","",18,{"inputs":[{"name":"x"}],"output":{"name":"lev"}}],[11,"lev_bits","","",18,{"inputs":[],"output":{"name":"lev"}}],[11,"lev_zero","","",18,{"inputs":[],"output":{"name":"lev"}}],[11,"lev_max","","",18,{"inputs":[],"output":{"name":"lev"}}],[11,"lev_add","","",18,{"inputs":[{"name":"lev"},{"name":"lev"}],"output":{"name":"lev"}}],[11,"lev_inc","","",18,{"inputs":[{"name":"lev"}],"output":{"name":"lev"}}],[11,"lev_lte","","",18,{"inputs":[{"name":"lev"},{"name":"lev"}],"output":{"name":"bool"}}],[11,"nil","","",18,{"inputs":[{"name":"a"}],"output":{"name":"tree"}}],[11,"leaf","","",18,{"inputs":[{"name":"a"},{"name":"leaf"}],"output":{"name":"tree"}}],[11,"bin","","",18,{"inputs":[{"name":"a"},{"name":"lev"},{"name":"tree"},{"name":"tree"}],"output":{"name":"tree"}}],[11,"name","","",18,{"inputs":[{"name":"a"},{"name":"name"},{"name":"lev"},{"name":"tree"},{"name":"tree"}],"output":{"name":"tree"}}],[11,"rc","","",18,{"inputs":[{"name":"a"},{"name":"rc"}],"output":{"name":"tree"}}],[11,"art","","",18,{"inputs":[{"name":"a"},{"name":"art"}],"output":{"name":"tree"}}],[11,"elim_move","","",18,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"arg"},{"name":"nilc"},{"name":"leafc"},{"name":"binc"},{"name":"namec"}],"output":{"name":"res"}}],[11,"elim","","",18,{"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,"Name"],[3,"Loc"],[3,"Engine"],[3,"Name"],[3,"AdaptonFromScratch"],[3,"ListZipper"],[4,"CursorEdit"],[4,"Cmd"],[4,"ListTransf"],[4,"ListReduce"],[4,"Dir2"],[4,"List"],[4,"Tree"],[8,"ExperimentT"],[8,"ListEdit"],[8,"ListT"],[8,"TreeT"],[8,"SetT"],[8,"MapT"],[8,"GraphT"],[3,"Experiment"]]};
initSearch(searchIndex);