next node: [ ic ] to [ in ],
prev node: [ dr ] to [ fi ],
up to node: Function Index By Codomain

Function Index By Codomain [ fm ] to [ he ]

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

fm

fmt ! denotation -> fmt
fmt !! string -> fmt
fmt !!- string -> fmt
fmt !!_ string -> fmt
fmt !- denotation -> fmt
fmt !_ denotation -> fmt
fmt ->! nat -> fmt
fmt ->| fmt
fmt .. fmt ** fmt -> fmt
fmt ..* seq[fmt] -> fmt
fmt ..|..* fmt ** seq[fmt] -> fmt
fmt ; fmt ** fmt -> fmt
fmt <> fmt
fmt <_> fmt
fmt <__> nat -> fmt
fmt <~> fmt
fmt >.< fmt ** fmt -> fmt
fmt >>.< fmt ** fmt -> fmt
fmt >>>.< fmt ** fmt -> fmt
fmt >>>>.< fmt -> fmt
fmt beg nat -> fmt
fmt block nat ** fmt -> fmt
fmt brk fmt
fmt dec nat -> fmt
fmt end fmt
fmt fmtArray (data -> fmt) -> array[data] -> fmt
fmt fmtDenotation denotation -> fmt
fmt fmtMap (dom -> fmt) ** (codom -> fmt) -> map[dom, <, codom] -> fmt
fmt fmtNat nat -> fmt
fmt fmtOption (data -> fmt) -> option[data] -> fmt
fmt fmtPair (data1 -> fmt) ** (data2 -> fmt) -> pair[data1, data2] -> fmt
fmt fmtSeq (data -> fmt) -> seq[data] -> fmt
fmt fmtSet (data -> fmt) -> set[data, <] -> fmt
fmt fmtString string -> fmt
fmt inc nat -> fmt
fmt list (data -> fmt) ** fmt ** fmt ** fmt ** seq[data] -> fmt
fmt list (data -> fmt) ** fmt ** seq[data] -> fmt
fmt list? (data -> fmt) ** fmt ** fmt ** fmt ** seq[data] -> fmt
fmt lit denotation -> fmt
fmt lit string -> fmt
fmt none fmt
fmt spc nat -> fmt
fmt x fmt ** nat -> fmt
fmt |! fmt -> fmt
fmt |.| fmt ** fmt -> fmt
fmt |<<- fmt

fo

font fixed font
font font denotation -> font
font variable font

fr

from funct funct -> from -> to

fu

funct asFunct (from -> to) -> funct
funct[from, to] ` (from -> denotation) ** (to -> denotation) -> funct[from, to] -> denotation

gr

groupid group filestat -> groupid
groupid groupId group -> groupid
groupid iGroupId user -> groupid

he

heap % data ** data ** data ** data ** data ** data ** data ** data -> heap
heap % data ** data ** data ** data ** data ** data ** data -> heap
heap % data ** data ** data ** data ** data ** data -> heap
heap % data ** data ** data ** data ** data -> heap
heap % data ** data ** data ** data -> heap
heap % data ** data ** data -> heap
heap % data ** data -> heap
heap % data -> heap
heap + heap ** heap -> heap
heap :=_left heap ** heap -> heap
heap :=_right heap ** heap -> heap
heap :=_val heap ** data -> heap
heap < (data ** data -> bool) -> heap ** heap -> bool
heap = (data ** data -> bool) -> heap ** heap -> bool
heap excl data ** heap -> heap
heap extractMin heap -> data ** heap
heap incl data ** heap -> heap
heap iter (data -> option[data] ** option[data]) ** option[data] -> heap
heap left heap -> heap
heap nil heap
heap node data ** heap ** heap -> heap
heap reflect heap -> heap
heap right heap -> heap
heap swap heap -> heap
heap[data, <] ! heap[data, <] ** nat -> heap[data, <]
heap[data, <] ` (data -> denotation) -> heap[data, <] -> denotation
heap[data, <] ` (data -> string) -> heap[data, <] -> string
heap[data, <] asHeap tree[data] -> heap[data, <]
heap[data, <] delete heap[data, <] ** nat -> heap[data, <]
heap[data, <] drop (data -> bool) ** heap[data, <] -> heap[data, <]
heap[data, <] dropall (data -> bool) ** heap[data, <] -> heap[data, <]
heap[data, <] graphic (data -> denotation) -> heap[data, <] -> denotation
heap[data, <] graphic (data -> string) -> heap[data, <] -> string
heap[data, <] insert heap[data, <] ** nat ** heap[data, <] -> heap[data, <]
heap[data, <] repl heap[data, <] ** nat ** (heap[data, <] -> heap[data, <]) -> heap[data, <]
heap[data, <] repl heap[data, <] ** nat ** heap[data, <] -> heap[data, <]
heap[data, <] step heap[data, <] ** nat -> heap[data, <] ** nat
heap[data, <] take (data -> bool) ** heap[data, <] -> heap[data, <]
heap[data, <] upd nat ** (data -> data) ** heap[data, <] -> heap[data, <]
heap[data, <] upd nat ** data ** heap[data, <] -> heap[data, <]
heap[from1, <] unzip (to -> from1 ** from2) ** heap[to, <] -> heap[from1, <] ** heap[from2, <]
heap[from2, <] unzip (to -> from1 ** from2) ** heap[to, <] -> heap[from1, <] ** heap[from2, <]
heap[to, <] * (from -> to) ** heap[from, <] -> heap[to, <]
heap[to, <] *_^ (env ** env ** from -> env ** to) ** env ** heap[from, <] -> env ** heap[to, <]
heap[to, <] *_in (env ** from -> env ** to) ** env ** heap[from, <] -> env ** heap[to, <]
heap[to, <] *_post (env ** from -> env ** to) ** env ** heap[from, <] -> env ** heap[to, <]
heap[to, <] *_pre (env ** from -> env ** to) ** env ** heap[from, <] -> env ** heap[to, <]
heap[to, <] *_V (env ** from -> env ** env ** to) ** env ** heap[from, <] -> heap[to, <]
heap[to, <] zip (from1 ** from2 -> to) ** heap[from1, <] ** heap[from2, <] -> heap[to, <]

next node: [ ic ] to [ in ],
prev node: [ dr ] to [ fi ],
up to node: Function Index By Codomain