SCM Repository
View of /sml/trunk/src/system/Init/pre-perv.sml
Parent Directory
|
Revision Log
Revision 430 -
(download)
(annotate)
Wed Sep 8 09:47:00 1999 UTC (21 years, 7 months ago) by monnier
File size: 543 byte(s)
Wed Sep 8 09:47:00 1999 UTC (21 years, 7 months ago) by monnier
File size: 543 byte(s)
This commit was generated by cvs2svn to compensate for changes in r429, which included commits to RCS files with non-trunk default branches.
(* (C) 1999 Lucent Technologies, Bell Laboratories *) structure PrePervasive = struct exception Span datatype order = LESS | EQUAL | GREATER datatype option = datatype Assembly.option exception Option fun getOpt (SOME x, y) = x | getOpt (NONE, y) = y fun isSome (SOME _) = PrimTypes.true | isSome NONE = PrimTypes.false fun valOf (SOME x) = x | valOf NONE = raise Option val op = : ''a * ''a -> PrimTypes.bool = InlineT.= val op <> : ''a * ''a -> PrimTypes.bool = InlineT.<> end
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |