next node: [ bs ] to [ ch ],
prev node: [ a ] to [ ar ],
up to node: Function Index By Codomain

Function Index By Codomain [ b ] to [ bo ]

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

b

b right either -> b

ba

bag % data ** data ** data ** data ** data ** data ** data ** data -> bag
bag % data ** data ** data ** data ** data ** data ** data -> bag
bag % data ** data ** data ** data ** data ** data -> bag
bag % data ** data ** data ** data ** data -> bag
bag % data ** data ** data ** data -> bag
bag % data ** data ** data -> bag
bag % data ** data -> bag
bag % data -> bag
bag * bag ** bag -> bag
bag + bag ** bag -> bag
bag - bag ** bag -> bag
bag .. nat ** nat -> (nat -> data) -> bag
bag abs seq[pair[data, nat]] -> bag
bag excl data ** bag -> bag
bag exclAll data ** bag -> bag
bag incl data ** bag -> bag
bag inclCt data ** nat ** bag -> bag
bag iter data ** (data -> data) ** (data -> bool) -> bag
bag U bag ** bag -> bag
bag {} bag
bag[data, <] ` (data -> denotation) -> bag[data, <] -> denotation
bag[data, <] ` (data -> string) -> bag[data, <] -> string
bag[data, <] asBag seq[data] -> bag[data, <]
bag[data, <] asBag seq[pair[data, nat]] -> bag[data, <]
bag[data, <] implode seq[data] -> bag[data, <]
bag[data, <] implodeCt seq[pair[data, nat]] -> bag[data, <]
bag[data, <] partition (data -> bool) ** bag[data, <] -> bag[data, <] ** bag[data, <]
bag[data, <] | (data -> bool) ** bag[data, <] -> bag[data, <]
bag[from, <] / (from ** nat ** to -> to) ** to -> bag[from, <] -> to
bag[from, <] / (from ** to -> to) ** to -> bag[from, <] -> to
bag[to, <] * (from -> to) ** bag[from, <] -> bag[to, <]

bi

bitmap bitmap denotation -> bitmap
bitmap error bitmap
bitmap file denotation -> bitmap
bitmap gray25 bitmap
bitmap gray50 bitmap
bitmap hourglass bitmap
bitmap info bitmap
bitmap none bitmap
bitmap questhead bitmap
bitmap question bitmap
bitmap warning bitmap

bo

bool ! denotation -> bool
bool % (data -> bool) -> data ** data -> bool
bool &? pair -> bool
bool &? quad -> bool
bool &? triple -> bool
bool ++? event -> bool
bool - char ** char -> char -> bool
bool -? event -> bool
bool /\ bool ** bool -> bool
bool /~\ bool ** bool -> bool
bool 0? nat -> bool
bool 1st bool ** bool -> bool
bool 2nd bool ** bool -> bool
bool :: (data ** data -> bool) ** (data ** data -> bool) -> data ** data -> bool
bool :: (data -> bool) ** (data ** data -> bool) -> data ** data -> bool
bool ::? seq -> bool
bool ::? string -> bool
bool ;? sighandler -> bool
bool < (data ** data -> bool) -> bstree ** bstree -> bool
bool < (data ** data -> bool) -> heap ** heap -> bool
bool < (data ** data -> bool) -> option ** option -> bool
bool < (data ** data -> bool) -> seq ** seq -> bool
bool < (data ** data -> bool) -> set ** set -> bool
bool < (data ** data -> bool) -> tree ** tree -> bool
bool < bag ** bag -> bool
bool < bool ** bool -> bool
bool < char ** char -> bool
bool < codom ** codom -> bool : [1], [2], [3], [4], [5], [6], [7], [8], [9], [10]
bool < codomFrom ** codomFrom -> bool
bool < codomTo ** codomTo -> bool
bool < data ** data -> bool : [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29]
bool < data1 ** data1 -> bool : [1], [2], [3], [4], [5], [6]
bool < data2 ** data2 -> bool : [1], [2], [3], [4]
bool < denotation ** denotation -> bool
bool < device ** device -> bool
bool < dom ** dom -> bool : [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29], [30], [31]
bool < domFrom ** domFrom -> bool
bool < domTo ** domTo -> bool
bool < filemode ** filemode -> bool
bool < filestat ** filestat -> bool
bool < filetype ** filetype -> bool
bool < from ** from -> bool : [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14]
bool < from1 ** from1 -> bool : [1], [2]
bool < from2 ** from2 -> bool : [1], [2]
bool < group ** group -> bool
bool < groupid ** groupid -> bool
bool < inode ** inode -> bool
bool < int ** int -> bool
bool < interdom ** interdom -> bool : [1], [2], [3]
bool < mid ** mid -> bool
bool < nat ** nat -> bool
bool < packOp ** packOp -> bool
bool < pair[data1, data2] ** pair[data1, data2] -> bool : [1], [2]
bool < process ** process -> bool
bool < real ** real -> bool
bool < rel ** rel -> bool
bool < set ** set -> bool : [1], [2], [3]
bool < sigmask ** sigmask -> bool
bool < signal ** signal -> bool
bool < sreal ** sreal -> bool
bool < string ** string -> bool
bool < tag ** tag -> bool
bool < time ** time -> bool
bool < to ** to -> bool : [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11]
bool < union[data1, data2] ** union[data1, data2] -> bool : [1], [2]
bool < user ** user -> bool
bool < userid ** userid -> bool
bool < version ** version -> bool
bool < wday ** wday -> bool
bool <= bag ** bag -> bool
bool <= bool ** bool -> bool
bool <= char ** char -> bool
bool <= data ** data -> bool : [1], [2]
bool <= denotation ** denotation -> bool
bool <= int ** int -> bool
bool <= nat ** nat -> bool
bool <= real ** real -> bool
bool <= rel ** rel -> bool
bool <= set ** set -> bool : [1], [2], [3]
bool <= sreal ** sreal -> bool
bool <= string ** string -> bool
bool <= time ** time -> bool
bool <>? seq -> bool
bool <>? string -> bool
bool <? rel -> bool
bool <? subrel -> bool
bool <| denotation ** denotation -> bool
bool = (data ** data -> bool) -> bstree ** bstree -> bool
bool = (data ** data -> bool) -> heap ** heap -> bool
bool = (data ** data -> bool) -> option ** option -> bool
bool = (data ** data -> bool) -> seq ** seq -> bool
bool = (data ** data -> bool) -> tree ** tree -> bool
bool = bag ** bag -> bool
bool = bool ** bool -> bool
bool = char ** char -> bool
bool = composeOp ** composeOp -> bool
bool = data ** data -> bool : [1], [2]
bool = denotation ** denotation -> bool
bool = device ** device -> bool
bool = filemode ** filemode -> bool
bool = filestat ** filestat -> bool
bool = filetype ** filetype -> bool
bool = group ** group -> bool
bool = groupid ** groupid -> bool
bool = inode ** inode -> bool
bool = int ** int -> bool
bool = nat ** nat -> bool
bool = packOp ** packOp -> bool
bool = process ** process -> bool
bool = real ** real -> bool
bool = rel ** rel -> bool
bool = set ** set -> bool : [1], [2], [3]
bool = sigmask ** sigmask -> bool
bool = signal ** signal -> bool
bool = sreal ** sreal -> bool
bool = string ** string -> bool
bool = tag ** tag -> bool
bool = time ** time -> bool
bool = user ** user -> bool
bool = userid ** userid -> bool
bool = wday ** wday -> bool
bool => bool ** bool -> bool
bool =? rel -> bool
bool =? subrel -> bool
bool > bool ** bool -> bool
bool > char ** char -> bool
bool > data ** data -> bool : [1], [2]
bool > denotation ** denotation -> bool
bool > int ** int -> bool
bool > nat ** nat -> bool
bool > real ** real -> bool
bool > sreal ** sreal -> bool
bool > string ** string -> bool
bool > time ** time -> bool
bool >= bool ** bool -> bool
bool >= char ** char -> bool
bool >= data ** data -> bool : [1], [2]
bool >= denotation ** denotation -> bool
bool >= int ** int -> bool
bool >= nat ** nat -> bool
bool >= real ** real -> bool
bool >= sreal ** sreal -> bool
bool >= string ** string -> bool
bool >= time ** time -> bool
bool >? rel -> bool
bool @? point -> bool
bool \/ bool ** bool -> bool
bool \~/ bool ** bool -> bool
bool _exit? sighandler -> bool
bool abs? dArray -> bool
bool active? state -> bool
bool alt? modifier -> bool
bool anchor? anchor -> bool
bool and (data -> bool) ** (data -> bool) -> data -> bool
bool and bool ** bool -> bool
bool application? defaultPrio -> bool
bool argListToLong? ans[data] -> bool
bool asFunct? funct -> bool
bool asParser? parser -> bool
bool asSet? set -> bool
bool at? index -> bool
bool avail? option -> bool
bool backwards? searchOpt -> bool
bool badAddress? ans[data] -> bool
bool badFileNumber? ans[data] -> bool
bool balanced? tree[pair[data, nat]] -> bool
bool baseline? align -> bool
bool basic? view -> bool
bool bevel? joinStyle -> bool
bool bijective? rel -> bool
bool bitmap? bitmap -> bool
bool blockSpecial? filetype -> bool
bool bool union -> bool
bool bool? union -> bool
bool both? arrowWhere -> bool
bool bottom? align -> bool
bool brokenPipe? ans[data] -> bool
bool bstree0? tree[pair[data, nat]] -> bool
bool bstree? tree[pair[data, nat]] -> bool
bool builtin? defaultPrio -> bool
bool butt? capStyle -> bool
bool button? modifier -> bool
bool buttonInfo? eventInfo -> bool
bool buttonPress? event -> bool
bool buttonRelease? event -> bool
bool cannotLinkFun? ans[data] -> bool
bool canvas? modifier -> bool
bool catch? sigaction -> bool
bool center? align -> bool
bool center? justifyHow -> bool
bool cF set -> data -> bool
bool char? union -> bool
bool char? wrapStyle -> bool
bool chars? index -> bool
bool charSpecial? filetype -> bool
bool child? fission -> bool
bool client? role -> bool
bool collectZombies? sighandler -> bool
bool color? color -> bool
bool com? configCom -> bool
bool com? wconfigCom -> bool
bool commandComplete? string -> bool
bool compound? view -> bool
bool config? config -> bool
bool configure? event -> bool
bool cons? seq -> bool
bool cons? string -> bool
bool control? char -> bool : [1], [2], [3]
bool control? modifier -> bool
bool crossDeviceLink? ans[data] -> bool
bool cursor? cursor -> bool
bool data1? union -> bool : [1], [2], [3]
bool data2? union -> bool : [1], [2], [3]
bool data3? union -> bool : [1], [2]
bool data4? union -> bool
bool deadlock? ans[data] -> bool
bool def? dom ** map -> bool : [1], [2], [3]
bool def? nat ** dArray -> bool
bool def? nat ** natMap -> bool
bool def? rel ** dom -> bool
bool def_c? rel ** codom -> bool
bool default? sigaction -> bool
bool denotation? union -> bool
bool destroy? event -> bool
bool deviceBusy? ans[data] -> bool
bool digit? char -> bool : [1], [2], [3]
bool directColor? colorModel -> bool
bool directory? filetype -> bool
bool directoryNotEmpty? ans[data] -> bool
bool disabled? state -> bool
bool disjoint? rel ** rel -> bool
bool double? modifier -> bool
bool empty? array -> bool
bool empty? dArray -> bool
bool empty? denotation -> bool
bool empty? seq -> bool
bool empty? string -> bool
bool end? index -> bool
bool enter? event -> bool
bool eq? (data ** data -> bool) -> option[data] ** option[data] -> bool
bool eq? (data ** data -> bool) -> seq[data] ** seq[data] -> bool
bool eq? (data1 ** data1 -> bool) ** (data2 ** data2 -> bool) -> pair[data1, data2] ** pair[data1, data2] -> bool
bool equal data ** data -> bool
bool equiv bool ** bool -> bool
bool equiv data ** data -> bool
bool even? int -> bool
bool even? nat -> bool
bool exact? searchOpt -> bool
bool execFormat? ans[data] -> bool
bool exist1? (data -> bool) ** seq -> bool
bool exist? (char -> bool) ** string -> bool
bool exist? (data -> bool) ** bag -> bool
bool exist? (data -> bool) ** bstree -> bool
bool exist? (data -> bool) ** heap -> bool
bool exist? (data -> bool) ** seq -> bool
bool exist? (data -> bool) ** set -> bool : [1], [2]
bool exist? (data -> bool) ** tree -> bool
bool exist? (dom ** codom ** data -> bool) ** rel -> bool
bool exist? (dom ** codom -> bool) ** map -> bool : [1], [2], [3]
bool exist? (dom ** codom -> bool) ** rel -> bool
bool exist? (nat ** codom -> bool) ** natMap -> bool
bool exist? (nat -> bool) ** set -> bool
bool exited? childstat -> bool
bool expose? event -> bool
bool external? manager -> bool
bool F bool
bool F bool ** bool -> bool
bool F bool -> bool
bool fail? ans -> bool
bool failure? procstat -> bool
bool false bool
bool false bool ** bool -> bool
bool false bool -> bool
bool false data -> bool
bool false? bool -> bool
bool FIELD? denotation -> bool
bool fifo? filetype -> bool
bool fileExists? ans[data] -> bool
bool fileTableOverflow? ans[data] -> bool
bool fileTooLarge? ans[data] -> bool
bool first? arrowWhere -> bool
bool first? index -> bool
bool focusIn? event -> bool
bool focusOut? event -> bool
bool font? font -> bool
bool forall? (char -> bool) ** string -> bool
bool forall? (data -> bool) ** bag -> bool
bool forall? (data -> bool) ** bstree -> bool
bool forall? (data -> bool) ** heap -> bool
bool forall? (data -> bool) ** seq -> bool
bool forall? (data -> bool) ** set -> bool : [1], [2]
bool forall? (data -> bool) ** tree -> bool
bool forall? (dom ** codom ** data -> bool) ** rel -> bool
bool forall? (dom ** codom -> bool) ** map -> bool : [1], [2], [3]
bool forall? (dom ** codom -> bool) ** rel -> bool
bool forall? (nat ** codom -> bool) ** natMap -> bool
bool forall? (nat -> bool) ** set -> bool
bool forwards? searchOpt -> bool
bool fri? wday -> bool
bool fromCurrent? seekMode -> bool
bool fromEnd? seekMode -> bool
bool fromStart? seekMode -> bool
bool function? rel -> bool
bool grayScale? colorModel -> bool
bool groupExec? permission -> bool
bool groupRead? permission -> bool
bool groupWrite? permission -> bool
bool handle? sigaction -> bool
bool hierarchical? composeOp -> bool
bool horizontal? composeOp -> bool
bool horizontal? orient -> bool
bool iconic? state -> bool
bool id bool -> bool
bool ignore? sigaction -> bool
bool illegalSeek? ans[data] -> bool
bool image? image -> bool
bool implies bool ** bool -> bool
bool in data ** bag -> bool
bool in data ** bstree -> bool
bool in data ** heap -> bool
bool in data ** set -> bool : [1], [2], [3]
bool in dom ** codom ** rel -> bool
bool in nat ** set -> bool
bool in permission ** filemode -> bool
bool in signal ** sigmask -> bool
bool int? union -> bool
bool interactive? defaultPrio -> bool
bool internal? manager -> bool
bool interrupted? ans[data] -> bool
bool interruptedSystemCall? ans[data] -> bool
bool invalidArgument? ans[data] -> bool
bool invalidFormat? ans[data] -> bool
bool ioError? ans[data] -> bool
bool isDirectory? ans[data] -> bool
bool keyInfo? eventInfo -> bool
bool keyPress? event -> bool
bool keyRelease? event -> bool
bool kill? sighandler -> bool
bool killed? ans[result] -> bool
bool killPGrp? sighandler -> bool
bool last? arrowWhere -> bool
bool last? index -> bool
bool leaf? bstree -> bool
bool leaf? heap -> bool
bool leaf? tree -> bool
bool leave? event -> bool
bool left? either -> bool
bool left? justifyHow -> bool
bool left? nat -> bool
bool less pair[dom, codom] ** pair[dom, codom] -> bool : [1], [2], [3]
bool letgit? char -> bool : [1], [2], [3]
bool letter? char -> bool : [1], [2], [3]
bool lineend? index -> bool
bool lines? index -> bool
bool linestart? index -> bool
bool lock? modifier -> bool
bool lower? char -> bool : [1], [2], [3]
bool manager? managerRequest -> bool
bool map? event -> bool
bool menu? modifier -> bool
bool message? sighandler -> bool
bool meta? modifier -> bool
bool miter? joinStyle -> bool
bool modified? view -> bool
bool mon? wday -> bool
bool motion? event -> bool
bool moveto? scrollView -> bool
bool n1st bool ** bool -> bool
bool n2nd bool ** bool -> bool
bool nameTooLong? ans[data] -> bool
bool nand bool ** bool -> bool
bool nat? union -> bool
bool neg? int -> bool
bool neg? real -> bool
bool neg? sreal -> bool
bool nil? bstree -> bool
bool nil? heap -> bool
bool nil? option -> bool
bool nil? tree -> bool
bool nil? void -> bool
bool nocase? searchOpt -> bool
bool noChildren? ans[data] -> bool
bool node? bstree -> bool
bool node? heap -> bool
bool node? tree -> bool
bool noDirectory? ans[data] -> bool
bool noEntity? ans[data] -> bool
bool noInfo? eventInfo -> bool
bool noMoreProcesses? ans[data] -> bool
bool none? arrowWhere -> bool
bool none? filemode -> bool
bool none? sigmask -> bool
bool none? wrapStyle -> bool
bool nor bool ** bool -> bool
bool noRecordLocks? ans[data] -> bool
bool normal? state -> bool : [1], [2]
bool noSpaceOnDevice? ans[data] -> bool
bool noSuchArg? ans[denotation] -> bool : [1], [2]
bool noSuchDevice? ans[data] -> bool
bool noSuchDeviceOrAddr? ans[data] -> bool
bool noSuchEnvVar? ans[denotation] -> bool : [1], [2]
bool noSuchProcess? ans[data] -> bool
bool not bool -> bool
bool notEnoughMemory? ans[data] -> bool
bool notImplemented? ans[data] -> bool
bool notOwner? ans[data] -> bool
bool noTTY? ans[data] -> bool
bool notUsed? char -> bool
bool odd? int -> bool
bool odd? nat -> bool
bool okay? ans -> bool
bool or (data -> bool) ** (data -> bool) -> data -> bool
bool or bool ** bool -> bool
bool other? modifier -> bool
bool ownerExec? permission -> bool
bool ownerRead? permission -> bool
bool ownerWrite? permission -> bool
bool parent? fission -> bool
bool parser? parser -> bool
bool permissionDenied? ans[data] -> bool
bool point? index -> bool
bool pointInfo? eventInfo -> bool
bool pos? index -> bool
bool pos? int -> bool
bool pos? real -> bool
bool pos? sreal -> bool
bool position? position -> bool
bool position? positionRequest -> bool
bool preference? defaultPrio -> bool
bool printable? char -> bool : [1], [2], [3]
bool projecting? capStyle -> bool
bool pseudoColor? colorModel -> bool
bool punctuation? char -> bool : [1], [2], [3]
bool range? range -> bool
bool readOnlyFileSys? ans[data] -> bool
bool real? union -> bool
bool reflexive? rel[dom, <, dom, <, data] -> bool
bool regexp? searchOpt -> bool
bool regular? filetype -> bool
bool rel data1 ** data1 -> bool
bool rel data2 ** data2 -> bool
bool relief? relief -> bool
bool reparent? event -> bool
bool right? either -> bool
bool right? justifyHow -> bool
bool right? nat -> bool
bool rmDir? sighandler -> bool
bool root? nat -> bool
bool round? capStyle -> bool
bool round? joinStyle -> bool
bool sat? wday -> bool
bool self? process -> bool
bool server? role -> bool
bool setGIdOnExec? permission -> bool
bool setUIdOnExec? permission -> bool
bool shift? modifier -> bool
bool shiftPages? scrollView -> bool
bool shiftUnits? scrollView -> bool
bool sigAbrt? signal -> bool
bool sigAlrm? signal -> bool
bool sigChld? signal -> bool
bool sigCont? signal -> bool
bool sigFPE? signal -> bool
bool sigHUp? signal -> bool
bool sigIll? signal -> bool
bool sigInt? signal -> bool
bool sigKill? signal -> bool
bool signalled? childstat -> bool
bool signalledUnknown? childstat -> bool
bool sigPipe? signal -> bool
bool sigQuit? signal -> bool
bool sigSegV? signal -> bool
bool sigStop? signal -> bool
bool sigTerm? signal -> bool
bool sigTStp? signal -> bool
bool sigTTIn? signal -> bool
bool sigTTOu? signal -> bool
bool sigUsr1? signal -> bool
bool sigUsr2? signal -> bool
bool size? sizeRequest -> bool
bool socket? filetype -> bool
bool someButtonPress? event -> bool
bool someButtonRelease? event -> bool
bool someError? ans[data] -> bool
bool someKeyPress? event -> bool
bool someKeyRelease? event -> bool
bool space? char -> bool : [1], [2], [3]
bool state? stateRequest -> bool
bool staticColor? colorModel -> bool
bool staticGray? colorModel -> bool
bool stickyBit? permission -> bool
bool stopped? childstat -> bool
bool stoppedUnknown? childstat -> bool
bool string? union -> bool
bool succ? nat -> bool
bool success? procstat -> bool
bool sun? wday -> bool
bool symLink? filetype -> bool
bool symmetric? rel[dom, <, dom, <, data] -> bool
bool T bool
bool T bool ** bool -> bool
bool T bool -> bool
bool tag? tag -> bool
bool tagMismatches? ans[data] -> bool
bool text? modifier -> bool
bool thu? wday -> bool
bool tooManyLinks? ans[data] -> bool
bool tooManyOpenFiles? ans[data] -> bool
bool top? align -> bool
bool transitive? rel[dom, <, dom, <, data] -> bool
bool triple? modifier -> bool
bool true bool
bool true bool ** bool -> bool
bool true bool -> bool
bool true data -> bool
bool true? bool -> bool
bool trueColor? colorModel -> bool
bool tue? wday -> bool
bool unequiv data ** data -> bool
bool unknown? filetype -> bool
bool unknown? position -> bool
bool unlink? sighandler -> bool
bool unmap? event -> bool
bool upper? char -> bool : [1], [2], [3]
bool vertical? composeOp -> bool
bool vertical? orient -> bool
bool visibility? event -> bool
bool wait? sighandler -> bool
bool wconfig? wconfig -> bool
bool wed? wday -> bool
bool wEqual data ** data -> bool
bool whitespace? char -> bool : [1], [2], [3]
bool widget? modifier -> bool
bool window? scrollWindow -> bool
bool window? window -> bool
bool withdrawn? state -> bool
bool word? wrapStyle -> bool
bool wordend? index -> bool
bool wordstart? index -> bool
bool worldExec? permission -> bool
bool worldRead? permission -> bool
bool worldWrite? permission -> bool
bool x? size -> bool
bool xor bool ** bool -> bool
bool zero? int -> bool
bool zero? real -> bool
bool zero? sreal -> bool
bool {<} bstree ** bstree -> bool
bool {<} heap ** heap -> bool
bool {<} rel ** rel -> bool
bool {<} set ** set -> bool : [1], [2], [3]
bool {}? bag -> bool
bool {}? map -> bool : [1], [2], [3]
bool {}? natMap -> bool
bool {}? rel -> bool
bool {}? set -> bool : [1], [2], [3]
bool {}? sigmask -> bool
bool |= bool ** bool -> bool
bool |= char ** char -> bool
bool |= data ** data -> bool : [1], [2]
bool |= denotation ** denotation -> bool
bool |= int ** int -> bool
bool |= nat ** nat -> bool
bool |= real ** real -> bool
bool |= sreal ** sreal -> bool
bool |= string ** string -> bool
bool |= time ** time -> bool
bool |=? subrel -> bool
bool ~ (data -> bool) -> data -> bool
bool ~ bool -> bool
bool ~ bstree[data1, <] ** bstree[data2, <] -> bool
bool ~ heap[data1, <] ** heap[data2, <] -> bool
bool ~ tree[data1] ** tree[data2] -> bool

next node: [ bs ] to [ ch ],
prev node: [ a ] to [ ar ],
up to node: Function Index By Codomain