next node: [ ch ],
prev node: [ bi ] to [ bo ],
up to node: Function Index By Domain

Function Index By Domain [ bs ] to [ ca ]

[ a ] [ ae ] [ ag ] [ al ] [ an ] [ ar ] [ b ] [ ba ] [ bi ] [ bo ] [ bs ] [ ca ] [ ch ] [ co ] [ cu ] [ da ] [ de ] [ di ] [ do ] [ dr ] [ dy ] [ ei ] [ em ] [ en ] [ er ] [ ev ] [ fi ] [ fm ] [ fo ] [ fr ] [ fu ] [ gr ] [ he ] [ ic ] [ im ] [ in ] [ is ] [ it ] [ jo ] [ ju ] [ ma ] [ me ] [ mi ] [ mo ] [ na ] [ op ] [ or ] [ ou ] [ pa ] [ pe ] [ po ] [ pr ] [ qu ] [ ra ] [ re ] [ ro ] [ sa ] [ sc ] [ se ] [ si ] [ sr ] [ st ] [ su ] [ ta ] [ te ] [ ti ] [ to ] [ tr ] [ un ] [ us ] [ ve ] [ vi ] [ vo ] [ wc ] [ wd ] [ wi ] [ wr ]

bs

bstree # bstree -> nat
bstree ++ data ** bstree ** bstree -> bstree
bstree :=_left bstree ** bstree -> bstree
bstree :=_right bstree ** bstree -> bstree
bstree :=_val bstree ** data -> bstree
bstree children bstree -> seq[data]
bstree depth bstree -> nat
bstree excl data ** bstree -> bstree
bstree exist? (data -> bool) ** bstree -> bool
bstree find? (data -> bool) ** bstree -> option[data]
bstree forall? (data -> bool) ** bstree -> bool
bstree front bstree -> seq[data]
bstree grandchildren bstree -> seq[data]
bstree in data ** bstree -> bool
bstree incl data ** bstree -> bstree
bstree leaf? bstree -> bool
bstree left bstree -> bstree
bstree leftmost bstree -> data
bstree level nat ** bstree -> seq[data]
bstree min bstree -> data
bstree nil? bstree -> bool
bstree node data ** bstree ** bstree -> bstree
bstree node? bstree -> bool
bstree rep bstree -> tree[pair[data, nat]]
bstree right bstree -> bstree
bstree rightmost bstree -> data
bstree val bstree -> data
bstree width bstree -> nat
bstree {<} bstree ** bstree -> bool
bstree[data, <] ! bstree[data, <] ** nat -> bstree[data, <]
bstree[data, <] ! bstree[data, <] ** nat -> data
bstree[data, <] !? bstree[data, <] ** nat -> option[bstree[data, <]]
bstree[data, <] !? bstree[data, <] ** nat -> option[data]
bstree[data, <] abs bstree[data, <] -> set
bstree[data, <] asSeqBreadth bstree[data, <] -> seq[seq[data]]
bstree[data, <] asSeqIn bstree[data, <] -> seq[data]
bstree[data, <] asSeqPost bstree[data, <] -> seq[data]
bstree[data, <] asSeqPre bstree[data, <] -> seq[data]
bstree[data, <] asTree bstree[data, <] -> tree[data]
bstree[data, <] delete bstree[data, <] ** nat -> bstree[data, <]
bstree[data, <] drop (data -> bool) ** bstree[data, <] -> bstree[data, <]
bstree[data, <] dropall (data -> bool) ** bstree[data, <] -> bstree[data, <]
bstree[data, <] insert bstree[data, <] ** nat ** bstree[data, <] -> bstree[data, <]
bstree[data, <] repl bstree[data, <] ** nat ** (bstree[data, <] -> bstree[data, <]) -> bstree[data, <]
bstree[data, <] repl bstree[data, <] ** nat ** bstree[data, <] -> bstree[data, <]
bstree[data, <] step bstree[data, <] ** nat -> bstree[data, <] ** nat
bstree[data, <] take (data -> bool) ** bstree[data, <] -> bstree[data, <]
bstree[data, <] union bstree[data, <] ** bstree[data, <] -> bstree[data, <]
bstree[data, <] upd nat ** (data -> data) ** bstree[data, <] -> bstree[data, <]
bstree[data, <] upd nat ** data ** bstree[data, <] -> bstree[data, <]
bstree[data1, <] ~ bstree[data1, <] ** bstree[data2, <] -> bool
bstree[data2, <] ~ bstree[data1, <] ** bstree[data2, <] -> bool
bstree[from, <] * (from -> to) ** bstree[from, <] -> bstree[to, <]
bstree[from, <] *_^ (env ** env ** from -> env ** to) ** env ** bstree[from, <] -> env ** bstree[to, <]
bstree[from, <] *_in (env ** from -> env ** to) ** env ** bstree[from, <] -> env ** bstree[to, <]
bstree[from, <] *_post (env ** from -> env ** to) ** env ** bstree[from, <] -> env ** bstree[to, <]
bstree[from, <] *_pre (env ** from -> env ** to) ** env ** bstree[from, <] -> env ** bstree[to, <]
bstree[from, <] *_V (env ** from -> env ** env ** to) ** env ** bstree[from, <] -> bstree[to, <]
bstree[from, <] / (from ** to ** to -> to) ** to ** bstree[from, <] -> to
bstree[from, <] /_in (from ** to -> to) ** to ** bstree[from, <] -> to
bstree[from, <] /_post (from ** to -> to) ** to ** bstree[from, <] -> to
bstree[from, <] /_pre (from ** to -> to) ** to ** bstree[from, <] -> to
bstree[from1, <] zip (from1 ** from2 -> to) ** bstree[from1, <] ** bstree[from2, <] -> bstree[to, <]
bstree[from2, <] zip (from1 ** from2 -> to) ** bstree[from1, <] ** bstree[from2, <] -> bstree[to, <]
bstree[to, <] unzip (to -> from1 ** from2) ** bstree[to, <] -> bstree[from1, <] ** bstree[from2, <]

ca

callback + script ** callback -> script
callback <- denotation ** callback -> script
callback asTk callback -> string
callback define callback ** (seq[string] -> com[string]) -> com[void]
callback define callback ** com[string] -> com[void]
callback define callback ** com[void] -> com[void]
callback extDefine callback ** (seq[string] -> com[void]) -> com[void]
callback extDefine callback ** com[void] -> com[void]
callback freeCallback callback -> com[void]
canvasEditor above canvasEditor ** tag -> com[tag]
canvasEditor bbox canvasEditor ** tag -> com[pair[point, point]]
canvasEditor below canvasEditor ** tag -> com[tag]
canvasEditor closest canvasEditor ** point ** real -> com[tag]
canvasEditor closest canvasEditor ** point -> com[tag]
canvasEditor delete canvasEditor ** tag -> com[void]
canvasEditor display canvasEditor ** drawing -> com[void]
canvasEditor edit canvasEditor -> config
canvasEditor enclosed canvasEditor ** point ** point -> com[set[tag, <]]
canvasEditor focus canvasEditor ** tag -> com[void]
canvasEditor lower canvasEditor ** tag -> com[void]
canvasEditor move canvasEditor ** tag ** point -> com[void]
canvasEditor overlapping canvasEditor ** point ** point -> com[set[tag, <]]
canvasEditor raise canvasEditor ** tag -> com[void]
canvasEditor register canvasEditor ** window ** widget -> com[void]
canvasEditor scale canvasEditor ** tag ** point ** real ** real -> com[void]
canvasEditor set canvasEditor ** tag ** config -> com[void]
canvasEditor withTag canvasEditor ** tag -> com[set[tag, <]]
capStyle butt? capStyle -> bool
capStyle cap capStyle -> config
capStyle projecting? capStyle -> bool
capStyle round? capStyle -> bool

next node: [ ch ],
prev node: [ bi ] to [ bo ],
up to node: Function Index By Domain