Function Index By Domain [ un ] to [ vi ]
[ 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 ]union | ` | union -> denotation |
union | bool | union -> bool |
union | bool? | union -> bool |
union | char | union -> char |
union | char? | union -> bool |
union | cont1 | union -> data1 : [1], [2], [3] |
union | cont2 | union -> data2 : [1], [2], [3] |
union | cont3 | union -> data3 : [1], [2] |
union | cont4 | union -> data4 |
union | data1? | union -> bool : [1], [2], [3] |
union | data2? | union -> bool : [1], [2], [3] |
union | data3? | union -> bool : [1], [2] |
union | data4? | union -> bool |
union | denotation | union -> denotation |
union | denotation? | union -> bool |
union | int | union -> int |
union | int? | union -> bool |
union | nat | union -> nat |
union | nat? | union -> bool |
union | real | union -> real |
union | real? | union -> bool |
union | string | union -> string |
union | string? | union -> bool |
union[data1, data2] | < | union[data1, data2] ** union[data1, data2] -> bool : [1], [2] |
version | < | version ** version -> bool |
version | next | version -> version |
version | sync | regulator ** version -> com[pair[config, version]] |
next node: [ vo ] to [ wi ],
prev node: [ tr ],
up to node: Function Index By Domain