dom | ! | codom -> map ** dom -> codom |
dom | .. | nat ** nat -> (nat -> dom) ** (dom -> codom) -> map : [1], [2], [3] |
dom | :-> | dom ** codom -> (dom ** codom -> data) -> rel |
dom | ` | denotation ** denotation ** denotation -> (dom ** codom ** data -> denotation) -> rel[dom, <, codom, <, data] -> denotation |
dom | ` | denotation ** denotation ** denotation -> (dom ** codom ** data -> string) -> rel[dom, <, codom, <, data] -> string |
dom | ` | denotation ** denotation ** denotation -> (dom -> denotation) ** (codom -> denotation) ** (data -> denotation) -> rel[dom, <, codom, <, data] -> denotation |
dom | ` | denotation ** denotation ** denotation -> (dom -> string) ** (codom -> string) ** (data -> string) -> rel[dom, <, codom, <, data] -> string |
dom | ` | denotation -> denotation ** denotation ** denotation -> (dom -> denotation) ** (codom -> denotation) -> map[dom, <, codom] -> denotation : [1], [2], [3] |
dom | ` | denotation -> denotation ** denotation ** denotation -> (dom -> string) ** (codom -> string) -> map[dom, <, codom] -> string : [1], [2], [3] |
dom | arb | rel -> dom ** codom |
dom | arb | rel -> dom ** codom ** data |
dom | iter | dom ** (dom -> dom) ** (dom -> bool) -> (dom -> codom) -> map : [1], [2], [3] |
dom | max | rel -> dom ** codom |
dom | min | rel -> dom ** codom |
dom | x | dom ** set[codom, <] -> (dom ** codom -> data) -> rel |
dom | x | set[dom, <] ** codom -> (dom ** codom -> data) -> rel |
dom | x | set[dom, <] ** set[codom, <] -> (dom ** codom -> data) -> rel |