| changeset 36458 | 031e90da9720 |
| parent 36452 | d37c6eed8117 |
| child 37140 | 6ba1b0ef0cc4 |
| 36457:7355af2a7e8a | 36458:031e90da9720 |
|---|---|
8 imports Seq |
8 imports Seq |
9 begin |
9 begin |
10 |
10 |
11 default_sort type |
11 default_sort type |
12 |
12 |
13 types 'a Seq = "'a::type lift seq" |
13 types 'a Seq = "'a lift seq" |
14 |
14 |
15 consts |
15 consts |
16 |
16 |
17 Consq ::"'a => 'a Seq -> 'a Seq" |
17 Consq ::"'a => 'a Seq -> 'a Seq" |
18 Filter ::"('a => bool) => 'a Seq -> 'a Seq" |
18 Filter ::"('a => bool) => 'a Seq -> 'a Seq" |