| changeset 17756 | d4a35f82fbb4 |
| parent 17368 | e02adca07c31 |
| child 21272 | a87b27cdd142 |
| 17755:b0cd55afead1 | 17756:d4a35f82fbb4 |
|---|---|
5 Non-empty stacks. |
5 Non-empty stacks. |
6 *) |
6 *) |
7 |
7 |
8 signature STACK = |
8 signature STACK = |
9 sig |
9 sig |
10 type 'a T = 'a * 'a list |
10 type 'a T (*= 'a * 'a list*) |
11 val level: 'a T -> int |
11 val level: 'a T -> int |
12 val init: 'a -> 'a T |
12 val init: 'a -> 'a T |
13 val top: 'a T -> 'a |
13 val top: 'a T -> 'a |
14 val map: ('a -> 'a) -> 'a T -> 'a T |
14 val map: ('a -> 'a) -> 'a T -> 'a T |
15 val push: 'a T -> 'a T |
15 val push: 'a T -> 'a T |