lib/mlton/basic/mono-option.fun

   1 (* Copyright (C) 1999-2006 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 functor MonoOption (X: T): T =
   9 struct
  10
  11 type t = X.t option
  12
  13 fun equals (o1, o2) = Option.equals (o1, o2, X.equals)
  14
  15 val layout = Option.layout X.layout
  16
  17 end