[hcoop/debian/mlton.git] / mlton / atoms / admits-equality.sig

(* Copyright (C) 2003-2006 Henry Cejtin, Matthew Fluet, Suresh
 *    Jagannathan, and Stephen Weeks.
 *
 * MLton is released under a BSD-style license.
 * See the file MLton-LICENSE for details.
 *)

signature ADMITS_EQUALITY_STRUCTS = 
   sig
   end

signature ADMITS_EQUALITY = 
   sig
      include ADMITS_EQUALITY_STRUCTS

      datatype t = Always | Never | Sometimes

      val <= : t * t -> bool
      val layout: t -> Layout.t
      val or: t * t -> t
      val toString: t -> string
   end
Commit	Line	Data
7f918cf1 CE	1	(* Copyright (C) 2003-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 ADMITS_EQUALITY_STRUCTS =
	9	sig
	10	end
	11
	12	signature ADMITS_EQUALITY =
	13	sig
	14	include ADMITS_EQUALITY_STRUCTS
	15
	16	datatype t = Always \| Never \| Sometimes
	17
	18	val <= : t * t -> bool
	19	val layout: t -> Layout.t
	20	val or: t * t -> t
	21	val toString: t -> string
	22	end