lib/mlton/set/disjoint-max.sig

   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 signature DISJOINT_MAX =
   9    sig
  10       structure O: ORDER
  11
  12       type t
  13       val singleton: O.t -> t
  14       val eval: t -> O.t
  15
  16       val link: t * t -> unit  (* must link roots *)
  17       (* Make second tree a child of first tree *)
  18
  19       val update: t * O.t -> unit (* must update a root *)
  20    end