blob: a39c1a09fd95e922e2df0537a6dc786811a2e835 (
plain)
1
2
3
4
5
6
7
8
|
type bit = Zero | One
val to_bool : bit -> bool
val bn : bit -> bit
val bor : bit -> bit -> bit
val xor : bit -> bit -> bit
val band : bit -> bit -> bit
val add : bit -> bit -> bit * bool
|