changeset 2230 | 275a5a699ff7 |
parent 2217 | 411f4683feb6 |
child 2265 | 3123fef88dce |
--- a/src/Pure/basis.ML Tue Nov 26 16:26:06 1996 +0100 +++ b/src/Pure/basis.ML Tue Nov 26 16:29:30 1996 +0100 @@ -10,8 +10,15 @@ Full compatibility cannot be obtained using a file: what about char constants? *) +structure Bool = + struct + fun toString true = "true" + | toString false = "false" + end; + structure Int = struct + fun toString (i: int) = makestring i; fun max (x, y) = if x < y then y else x : int; fun min (x, y) = if x < y then x else y : int; end;