B | |
| bintree [Trees] |
The type
'a bintree represents a binary tree with data of type
'a stored in the nodes.
|
| bit [Binary] |
The type
bit represents a single binary digit
|
| bits [Binary] |
The type
bits represents a sequence of binary digits.
|
E | |
| exp [Arithmetic] |
The
exp type is the type abstraction for arithmetic expressions.
|