lib/mlton/basic/relation.sml

   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 structure Relation: RELATION =
   9 struct
  10
  11 open Relation0
  12
  13 val layout = Layout.str o toString
  14
  15 fun lexico (t, f) =
  16    case t of
  17       EQUAL => f ()
  18     | r => r
  19
  20 end