| doc | $ | denotation -> doc |
| doc | <+> | doc ** doc -> doc |
| doc | <> | doc ** doc -> doc |
| doc | ^^ | doc ** doc -> doc |
| doc | ampersand | doc |
| doc | angles | doc -> doc |
| doc | apostrophe | doc |
| doc | at | doc |
| doc | backslash | doc |
| doc | backtick | doc |
| doc | bang | doc |
| doc | blank | doc |
| doc | bool | bool -> doc |
| doc | braces | doc -> doc |
| doc | brackets | doc -> doc |
| doc | caret | doc |
| doc | cat | seq[doc] -> doc |
| doc | char | char -> doc |
| doc | colon | doc |
| doc | comma | doc |
| doc | dollar | doc |
| doc | dot | doc |
| doc | empty | doc |
| doc | equal | doc |
| doc | fill | seq[doc] -> doc |
| doc | hash | doc |
| doc | hcat | seq[doc] -> doc |
| doc | hsep | seq[doc] -> doc |
| doc | langle | doc |
| doc | lbrace | doc |
| doc | lbrack | doc |
| doc | line | doc |
| doc | lparen | doc |
| doc | minus | doc |
| doc | nest | nat ** doc -> doc |
| doc | num | int -> doc |
| doc | num | nat -> doc |
| doc | num | real -> doc |
| doc | parens | doc -> doc |
| doc | percent | doc |
| doc | pipe | doc |
| doc | plus | doc |
| doc | pp | position -> doc |
| doc | question | doc |
| doc | quote | doc |
| doc | quotes | doc -> doc |
| doc | rangle | doc |
| doc | rbrace | doc |
| doc | rbrack | doc |
| doc | rparen | doc |
| doc | semi | doc |
| doc | sep | seq[doc] -> doc |
| doc | slash | doc |
| doc | squotes | doc -> doc |
| doc | squoteslr | doc -> doc |
| doc | star | doc |
| doc | tab | doc |
| doc | text | denotation -> doc |
| doc | text | string -> doc |
| doc | tilde | doc |
| doc | underscore | doc |
| doc | vcat | seq[doc] -> doc |
| 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 |