next node: [ `` ] to [ al ],
prev node: [ =? ] to [ ^ ],
up to node: Function Index

Function Index [ ^* ] to [ ` ]

[ ! ] [ !! ] [ !- ] [ !? ] [ !_ ] [ # ] [ $ ] [ % ] [ & ] [ &? ] [ * ] [ *& ] [ *+ ] [ *_ ] [ + ] [ +% ] [ ++ ] [ +/ ] [ - ] [ -! ] [ -- ] [ -> ] [ -? ] [ . ] [ .! ] [ .. ] [ .: ] [ / ] [ /& ] [ // ] [ /\ ] [ /_ ] [ /~ ] [ 0: ] [ 0? ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ] [ 15 ] [ 16 ] [ 17 ] [ 18 ] [ 19 ] [ 1: ] [ 1s ] [ 20 ] [ 21 ] [ 22 ] [ 23 ] [ 24 ] [ 25 ] [ 26 ] [ 27 ] [ 28 ] [ 29 ] [ 2: ] [ 2n ] [ 30 ] [ 31 ] [ 32 ] [ 3: ] [ 3r ] [ 4: ] [ 4t ] [ 51 ] [ 5: ] [ 64 ] [ 6: ] [ 7: ] [ 8: ] [ 9: ] [ :- ] [ :: ] [ := ] [ ; ] [ ;? ] [ < ] [ <* ] [ <+ ] [ <- ] [ << ] [ <= ] [ <> ] [ <? ] [ <_ ] [ <| ] [ <~ ] [ = ] [ => ] [ =? ] [ > ] [ >. ] [ >= ] [ >> ] [ >? ] [ ? ] [ @ ] [ @! ] [ @& ] [ @/ ] [ @; ] [ @< ] [ @> ] [ @? ] [ @\ ] [ \ ] [ \/ ] [ \~ ] [ ^ ] [ ^* ] [ ^+ ] [ ^- ] [ ^^ ] [ ^| ] [ __ ] [ _e ] [ ` ] [ `` ] [ a: ] [ aa ] [ ab ] [ ac ] [ ad ] [ ae ] [ ag ] [ al ] [ am ] [ an ] [ ap ] [ ar ] [ as ] [ at ] [ av ] [ aw ] [ az ] [ b: ] [ ba ] [ bb ] [ be ] [ bg ] [ bi ] [ bl ] [ bo ] [ br ] [ bs ] [ bu ] [ bw ] [ c: ] [ ca ] [ cc ] [ ce ] [ cf ] [ ch ] [ ci ] [ cl ] [ cm ] [ co ] [ cr ] [ ct ] [ cu ] [ d: ] [ da ] [ db ] [ de ] [ di ] [ dl ] [ do ] [ dr ] [ ds ] [ e: ] [ ea ] [ ec ] [ ed ] [ eg ] [ el ] [ em ] [ en ] [ eo ] [ ep ] [ eq ] [ er ] [ et ] [ ev ] [ ex ] [ f: ] [ fa ] [ fe ] [ fg ] [ fi ] [ fl ] [ fm ] [ fo ] [ fr ] [ ft ] [ fu ] [ g: ] [ ga ] [ ge ] [ go ] [ gr ] [ gu ] [ h: ] [ ha ] [ hc ] [ he ] [ hi ] [ ho ] [ hs ] [ i: ] [ ia ] [ ic ] [ id ] [ ig ] [ il ] [ im ] [ in ] [ io ] [ ip ] [ is ] [ it ] [ iv ] [ j: ] [ jo ] [ ju ] [ k: ] [ ka ] [ ke ] [ ki ] [ l: ] [ la ] [ lb ] [ le ] [ li ] [ ln ] [ lo ] [ lp ] [ lr ] [ ls ] [ m: ] [ ma ] [ me ] [ mi ] [ mk ] [ mo ] [ ms ] [ mt ] [ mu ] [ n1 ] [ n2 ] [ n: ] [ na ] [ ne ] [ ni ] [ nl ] [ no ] [ nt ] [ nu ] [ o: ] [ oa ] [ oc ] [ od ] [ og ] [ ok ] [ om ] [ oo ] [ op ] [ or ] [ ot ] [ ou ] [ ov ] [ ow ] [ p: ] [ pa ] [ pc ] [ pe ] [ pg ] [ ph ] [ pi ] [ pl ] [ po ] [ pp ] [ pr ] [ ps ] [ pu ] [ px ] [ q: ] [ qu ] [ r: ] [ ra ] [ rb ] [ re ] [ rg ] [ rh ] [ ri ] [ rm ] [ ro ] [ rp ] [ rr ] [ rs ] [ rt ] [ ru ] [ rw ] [ s: ] [ sa ] [ sc ] [ se ] [ sh ] [ si ] [ sk ] [ sl ] [ sm ] [ so ] [ sp ] [ sq ] [ ss ] [ st ] [ su ] [ sw ] [ sy ] [ t: ] [ ta ] [ tc ] [ te ] [ th ] [ ti ] [ tl ] [ tm ] [ to ] [ tr ] [ tu ] [ ty ] [ u: ] [ ua ] [ uc ] [ ud ] [ ug ] [ um ] [ un ] [ up ] [ us ] [ ut ] [ v: ] [ va ] [ vc ] [ ve ] [ vi ] [ vt ] [ vu ] [ w: ] [ wa ] [ wc ] [ wd ] [ we ] [ wh ] [ wi ] [ wo ] [ wr ] [ ws ] [ x: ] [ x? ] [ xc ] [ xi ] [ xo ] [ xs ] [ y: ] [ ya ] [ yc ] [ yd ] [ ye ] [ yi ] [ ys ] [ z: ] [ ze ] [ zi ] [ { ] [ {< ] [ {} ] [ | ] [ |! ] [ |- ] [ |. ] [ |< ] [ |= ] [ |> ] [ |^ ] [ |~ ] [ } ] [ ~ ]

^*

^*+^ view ** view -> view

^+

^+^ view ** view -> view

^-

^-^ view ** view -> view

^^

^^ doc ** doc -> doc
^^ view ** view -> view

^|

^|^ view ** view -> view

__

_________ filemode
_______w_ filemode
______rwx filemode
____w__w_ filemode
____w_rwx filemode
___rwxrwx filemode

_e

_exit procstat -> sighandler
_exit? sighandler -> bool

`

` (a -> denotation) ** (b -> denotation) -> either[a, b] -> denotation
` (data -> denotation) -> ans[data] -> denotation
` (data -> denotation) -> array[data] -> denotation
` (data -> denotation) -> bag[data, <] -> denotation
` (data -> denotation) -> bstree[data, <] -> denotation
` (data -> denotation) -> dArray[data] -> denotation
` (data -> denotation) -> heap[data, <] -> denotation
` (data -> denotation) -> iseq[data] -> denotation
` (data -> denotation) -> option[data] -> denotation
` (data -> denotation) -> seq[data] -> denotation
` (data -> denotation) -> set[data, <] -> denotation : [1], [2]
` (data -> denotation) -> tree[data] -> denotation
` (data -> string) -> array[data] -> string
` (data -> string) -> bag[data, <] -> string
` (data -> string) -> bstree[data, <] -> string
` (data -> string) -> dArray[data] -> string
` (data -> string) -> heap[data, <] -> string
` (data -> string) -> iseq[data] -> string
` (data -> string) -> seq[data] -> string
` (data -> string) -> set[data, <] -> string : [1], [2]
` (data -> string) -> tree[data] -> string
` (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) ** (data4 -> denotation) -> quad[data1, data2, data3, data4] -> denotation
` (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) ** (data4 -> denotation) -> union[data1, data2, data3, data4] -> denotation
` (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) -> triple[data1, data2, data3] -> denotation
` (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) -> union[data1, data2, data3] -> denotation
` (data1 -> denotation) ** (data2 -> denotation) -> pair[data1, data2] -> denotation
` (data1 -> denotation) ** (data2 -> denotation) -> union[data1, data2] -> denotation
` (dom -> denotation) ** (codom -> denotation) ** (data -> denotation) -> rel[dom, <, codom, <, data] -> denotation
` (dom -> denotation) ** (codom -> denotation) -> map[dom, <, codom] -> denotation : [1], [2], [3]
` (dom -> string) ** (codom -> string) ** (data -> string) -> rel[dom, <, codom, <, data] -> string
` (dom -> string) ** (codom -> string) -> map[dom, <, codom] -> string : [1], [2], [3]
` (from -> denotation) ** (to -> denotation) -> funct[from, to] -> denotation
` (nat -> denotation) ** (codom -> denotation) -> natMap[codom] -> denotation
` (nat -> string) ** (codom -> string) -> natMap[codom] -> string
` agent[result] -> denotation
` bool -> denotation
` char -> denotation
` childstat -> denotation
` com[data] -> denotation
` denotation ** denotation ** denotation -> (data -> denotation) -> iseq[data] -> denotation
` denotation ** denotation ** denotation -> (data -> denotation) -> seq[data] -> denotation
` denotation ** denotation ** denotation -> (data -> denotation) -> set[data, <] -> denotation : [1], [2]
` denotation ** denotation ** denotation -> (data -> string) -> iseq[data] -> string
` denotation ** denotation ** denotation -> (data -> string) -> seq[data] -> string
` denotation ** denotation ** denotation -> (data -> string) -> set[data, <] -> string : [1], [2]
` denotation ** denotation ** denotation -> (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) ** (data4 -> denotation) -> quad[data1, data2, data3, data4] -> denotation
` denotation ** denotation ** denotation -> (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) -> triple[data1, data2, data3] -> denotation
` denotation ** denotation ** denotation -> (data1 -> denotation) ** (data2 -> denotation) -> pair[data1, data2] -> denotation
` denotation ** denotation ** denotation -> (dom ** codom ** data -> denotation) -> rel[dom, <, codom, <, data] -> denotation
` denotation ** denotation ** denotation -> (dom ** codom ** data -> string) -> rel[dom, <, codom, <, data] -> string
` denotation ** denotation ** denotation -> (dom -> denotation) ** (codom -> denotation) ** (data -> denotation) -> rel[dom, <, codom, <, data] -> denotation
` denotation ** denotation ** denotation -> (dom -> string) ** (codom -> string) ** (data -> string) -> rel[dom, <, codom, <, data] -> string
` denotation ** denotation ** denotation -> nat ** (data -> denotation) -> iseq[data] -> denotation
` denotation ** denotation ** denotation -> nat ** (data -> string) -> iseq[data] -> string
` denotation -> denotation ** denotation ** denotation -> (dom -> denotation) ** (codom -> denotation) -> map[dom, <, codom] -> denotation : [1], [2], [3]
` denotation -> denotation ** denotation ** denotation -> (dom -> string) ** (codom -> string) -> map[dom, <, codom] -> string : [1], [2], [3]
` denotation -> denotation ** denotation ** denotation -> (nat -> denotation) ** (codom -> denotation) -> natMap[codom] -> denotation
` denotation -> denotation ** denotation ** denotation -> (nat -> string) ** (codom -> string) -> natMap[codom] -> string
` device -> denotation
` file -> denotation
` filemode -> denotation
` filestat -> denotation
` filetype -> denotation
` fission -> denotation
` group -> denotation
` groupid -> denotation
` inode -> denotation
` int -> denotation
` nat ** (data -> denotation) -> iseq[data] -> denotation
` nat ** (data -> string) -> iseq[data] -> string
` nat -> denotation
` permission -> denotation
` position -> denotation
` process -> denotation : [1], [2]
` procstat -> denotation
` real ** nat -> denotation
` real -> denotation
` rel -> denotation
` sap[in, out] -> denotation
` seq[union] -> denotation
` set -> denotation
` set -> string
` set[data] -> denotation
` set[data] -> string
` sigaction -> denotation
` sighandler -> denotation
` sigmask -> denotation
` signal -> denotation
` string -> denotation
` subrel -> denotation
` time -> denotation
` union -> denotation
` user -> denotation
` userid -> denotation
` void -> denotation

next node: [ `` ] to [ al ],
prev node: [ =? ] to [ ^ ],
up to node: Function Index