| changeset 3353 | 9112a2efb9a3 |
| parent 3352 | 04502e5431fb |
| child 3354 | 3dac85693547 |
| 3352:04502e5431fb | 3353:9112a2efb9a3 |
|---|---|
1 (* Title: TFL/mask |
|
2 ID: $Id$ |
|
3 Author: Konrad Slind, Cambridge University Computer Laboratory |
|
4 Copyright 1997 University of Cambridge |
|
5 *) |
|
6 |
|
7 signature Mask_sig = |
|
8 sig |
|
9 datatype 'a binding = |-> of ('a * 'a) (* infix 7 |->; *) |
|
10 |
|
11 type mask |
|
12 val ERR : mask |
|
13 |
|
14 end |