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