lib/mlton/basic/ordered-field.fun

   1 (* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
   2  *    Jagannathan, and Stephen Weeks.
   3  *
   4  * MLton is released under a BSD-style license.
   5  * See the file MLton-LICENSE for details.
   6  *)
   7 (*-------------------------------------------------------------------*)
   8 (*                           OrderedField                            *)
   9 (*-------------------------------------------------------------------*)
  10
  11 functor OrderedField(F: ORDERED_FIELD_STRUCTS): ORDERED_FIELD =
  12 struct
  13
  14 structure U = Field(F)
  15 structure U' = OrderedRing(F)
  16 open F U U'
  17
  18 end