next node: [ do ],
prev node: [ cu ] to [ da ],
up to node: Function Index By Codomain

Function Index By Codomain [ de ]

[ 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 ]

de

defaultPrio application defaultPrio
defaultPrio builtin defaultPrio
defaultPrio interactive defaultPrio
defaultPrio preference defaultPrio
denotation ! denotation -> denotation
denotation ! string -> denotation
denotation % char -> denotation
denotation +%+ char -> denotation ** denotation -> denotation
denotation +%+ denotation -> denotation ** denotation -> denotation
denotation ++ denotation ** denotation -> denotation
denotation +/+ char -> denotation ** denotation -> denotation
denotation +/+ denotation -> denotation ** denotation -> denotation
denotation -- denotation
denotation -- nat -> denotation
denotation := denotation ** nat ** char -> denotation
denotation ` (a -> denotation) ** (b -> denotation) -> either[a, b] -> denotation
denotation ` (data -> denotation) -> ans[data] -> denotation
denotation ` (data -> denotation) -> array[data] -> denotation
denotation ` (data -> denotation) -> bag[data, <] -> denotation
denotation ` (data -> denotation) -> bstree[data, <] -> denotation
denotation ` (data -> denotation) -> dArray[data] -> denotation
denotation ` (data -> denotation) -> heap[data, <] -> denotation
denotation ` (data -> denotation) -> iseq[data] -> denotation
denotation ` (data -> denotation) -> option[data] -> denotation
denotation ` (data -> denotation) -> seq[data] -> denotation
denotation ` (data -> denotation) -> set[data, <] -> denotation : [1], [2]
denotation ` (data -> denotation) -> tree[data] -> denotation
denotation ` (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) ** (data4 -> denotation) -> quad[data1, data2, data3, data4] -> denotation
denotation ` (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) ** (data4 -> denotation) -> union[data1, data2, data3, data4] -> denotation
denotation ` (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) -> triple[data1, data2, data3] -> denotation
denotation ` (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) -> union[data1, data2, data3] -> denotation
denotation ` (data1 -> denotation) ** (data2 -> denotation) -> pair[data1, data2] -> denotation
denotation ` (data1 -> denotation) ** (data2 -> denotation) -> union[data1, data2] -> denotation
denotation ` (dom -> denotation) ** (codom -> denotation) ** (data -> denotation) -> rel[dom, <, codom, <, data] -> denotation
denotation ` (dom -> denotation) ** (codom -> denotation) -> map[dom, <, codom] -> denotation : [1], [2], [3]
denotation ` (from -> denotation) ** (to -> denotation) -> funct[from, to] -> denotation
denotation ` (nat -> denotation) ** (codom -> denotation) -> natMap[codom] -> denotation
denotation ` agent[result] -> denotation
denotation ` bool -> denotation
denotation ` char -> denotation
denotation ` childstat -> denotation
denotation ` com[data] -> denotation
denotation ` denotation ** denotation ** denotation -> (data -> denotation) -> iseq[data] -> denotation
denotation ` denotation ** denotation ** denotation -> (data -> denotation) -> seq[data] -> denotation
denotation ` denotation ** denotation ** denotation -> (data -> denotation) -> set[data, <] -> denotation : [1], [2]
denotation ` denotation ** denotation ** denotation -> (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) ** (data4 -> denotation) -> quad[data1, data2, data3, data4] -> denotation
denotation ` denotation ** denotation ** denotation -> (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) -> triple[data1, data2, data3] -> denotation
denotation ` denotation ** denotation ** denotation -> (data1 -> denotation) ** (data2 -> denotation) -> pair[data1, data2] -> denotation
denotation ` denotation ** denotation ** denotation -> (dom ** codom ** data -> denotation) -> rel[dom, <, codom, <, data] -> denotation
denotation ` denotation ** denotation ** denotation -> (dom -> denotation) ** (codom -> denotation) ** (data -> denotation) -> rel[dom, <, codom, <, data] -> denotation
denotation ` denotation ** denotation ** denotation -> nat ** (data -> denotation) -> iseq[data] -> denotation
denotation ` denotation -> denotation ** denotation ** denotation -> (dom -> denotation) ** (codom -> denotation) -> map[dom, <, codom] -> denotation : [1], [2], [3]
denotation ` denotation -> denotation ** denotation ** denotation -> (dom -> string) ** (codom -> string) -> map[dom, <, codom] -> string : [1], [2], [3]
denotation ` denotation -> denotation ** denotation ** denotation -> (nat -> denotation) ** (codom -> denotation) -> natMap[codom] -> denotation
denotation ` denotation -> denotation ** denotation ** denotation -> (nat -> string) ** (codom -> string) -> natMap[codom] -> string
denotation ` device -> denotation
denotation ` file -> denotation
denotation ` filemode -> denotation
denotation ` filestat -> denotation
denotation ` filetype -> denotation
denotation ` fission -> denotation
denotation ` group -> denotation
denotation ` groupid -> denotation
denotation ` inode -> denotation
denotation ` int -> denotation
denotation ` nat ** (data -> denotation) -> iseq[data] -> denotation
denotation ` nat -> denotation
denotation ` permission -> denotation
denotation ` position -> denotation
denotation ` process -> denotation : [1], [2]
denotation ` procstat -> denotation
denotation ` real ** nat -> denotation
denotation ` real -> denotation
denotation ` rel -> denotation
denotation ` sap[in, out] -> denotation
denotation ` seq[union] -> denotation
denotation ` set -> denotation
denotation ` set[data] -> denotation
denotation ` sigaction -> denotation
denotation ` sighandler -> denotation
denotation ` sigmask -> denotation
denotation ` signal -> denotation
denotation ` string -> denotation
denotation ` subrel -> denotation
denotation ` time -> denotation
denotation ` union -> denotation
denotation ` user -> denotation
denotation ` userid -> denotation
denotation ` void -> denotation
denotation `` real ** nat -> denotation
denotation `` real -> denotation
denotation applName denotation
denotation asPixel real -> denotation
denotation baseName denotation ** denotation -> denotation
denotation baseName denotation -> denotation
denotation box char ** char ** char -> char ** char -> char ** char ** char -> denotation -> denotation
denotation box denotation -> denotation
denotation box nat -> char ** char ** char -> char ** char -> char ** char ** char -> denotation -> denotation
denotation box nat -> denotation -> denotation
denotation center char ** denotation -> denotation
denotation center denotation ** denotation -> denotation
denotation center denotation -> denotation
denotation center nat -> char ** denotation -> denotation
denotation center nat -> denotation ** denotation -> denotation
denotation center nat -> denotation -> denotation
denotation data string -> denotation
denotation defaultPath denotation ** denotation -> denotation
denotation delete denotation ** nat ** nat -> denotation
denotation denotation union -> denotation
denotation dimensions metrics -> denotation -> real ** real
denotation directory sighandler -> denotation
denotation dirName1 denotation -> denotation
denotation dirName denotation -> denotation
denotation empty denotation
denotation error ans -> denotation
denotation file sighandler -> denotation
denotation format denotation ** time -> denotation
denotation graphic (data -> denotation) -> bstree[data, <] -> denotation
denotation graphic (data -> denotation) -> heap[data, <] -> denotation
denotation graphic (data -> denotation) -> tree[data] -> denotation
denotation groupName group -> denotation
denotation homeDir user -> denotation
denotation init nat ** (nat -> char) -> denotation
denotation init nat ** char -> denotation
denotation insert denotation ** nat ** denotation -> denotation
denotation keysym event -> denotation
denotation keysym eventInfo -> denotation
denotation message sighandler -> denotation
denotation name anchor -> denotation
denotation name bitmap -> denotation
denotation name color -> denotation
denotation name cursor -> denotation
denotation name font -> denotation
denotation name image -> denotation
denotation name relief -> denotation
denotation name tag -> denotation
denotation normPath denotation -> denotation
denotation pretty doc -> denotation
denotation pretty fmt -> denotation
denotation pretty nat ** doc -> denotation
denotation print1 data1 -> denotation : [1], [2]
denotation print2 data2 -> denotation : [1], [2]
denotation print data -> denotation : [1], [2], [3], [4], [5], [6]
denotation repeat denotation -> denotation
denotation repeat nat -> denotation -> denotation
denotation scan denotation ** string -> seq[union] ** denotation ** string
denotation shell user -> denotation
denotation slice denotation ** nat ** nat -> denotation
denotation splitSuffix denotation ** denotation -> denotation ** denotation
denotation surround denotation ** denotation -> denotation -> denotation
denotation surround nat -> denotation ** denotation -> denotation -> denotation
denotation tl denotation -> denotation
denotation upd nat ** char ** denotation -> denotation
denotation userName user -> denotation
device device filestat -> device

next node: [ do ],
prev node: [ cu ] to [ da ],
up to node: Function Index By Codomain