equal
deleted
inserted
replaced
17 end; |
17 end; |
18 |
18 |
19 structure IoaPackage: IOA_PACKAGE = |
19 structure IoaPackage: IOA_PACKAGE = |
20 struct |
20 struct |
21 |
21 |
22 val string_of_typ = setmp print_mode [] o Sign.string_of_typ; |
22 val string_of_typ = PrintMode.with_default o Sign.string_of_typ; |
23 val string_of_term = setmp print_mode [] o Sign.string_of_term; |
23 val string_of_term = PrintMode.with_default o Sign.string_of_term; |
24 |
24 |
25 exception malformed; |
25 exception malformed; |
26 |
26 |
27 (* stripping quotes *) |
27 (* stripping quotes *) |
28 fun strip [] = [] | |
28 fun strip [] = [] | |