1
signature Mask_sig =
2
sig
3
datatype 'a binding = |-> of ('a * 'a) (* infix 7 |->; *)
4
5
type mask
6
val ERR : mask
7
8
end