changeset 3302 | 404fe31fd8d2 |
parent 2112 | 3902e9af752f |
3301:cdcc4d5602b6 | 3302:404fe31fd8d2 |
---|---|
1 (* Title: TFL/mask |
|
2 ID: $Id$ |
|
3 Author: Konrad Slind, Cambridge University Computer Laboratory |
|
4 Copyright 1997 University of Cambridge |
|
5 *) |
|
6 |
|
1 signature Mask_sig = |
7 signature Mask_sig = |
2 sig |
8 sig |
3 datatype 'a binding = |-> of ('a * 'a) (* infix 7 |->; *) |
9 datatype 'a binding = |-> of ('a * 'a) (* infix 7 |->; *) |
4 |
10 |
5 type mask |
11 type mask |