lib/mlton/basic/ordered-field.sig

   1 (* Copyright (C) 1999-2005, 2008 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 signature ORDERED_FIELD_STRUCTS =
   9    sig
  10       include ORDERED_RING
  11
  12       val inverse: t -> t
  13    end
  14
  15 signature ORDERED_FIELD =
  16    sig
  17       include ORDERED_FIELD_STRUCTS
  18
  19       val / : t * t -> t
  20    end