[hcoop/debian/mlton.git] / lib / mlton / basic / assert.sig

(* Copyright (C) 1999-2005 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 ASSERT =
   sig
      val assert: string * (unit -> bool) -> unit
      val assertFun:
         string
         * ('a -> 'b)
         * ('a -> bool * ('b -> bool))
         -> 'a -> 'b
      val assertFun2:
         string
         * ('a -> 'b -> 'c)
         * ('a -> bool * ('b -> (bool * ('c -> bool))))
         -> 'a -> 'b -> 'c
      val debug: bool
      val fail: string -> 'a
   end
Commit	Line	Data
7f918cf1 CE	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	signature ASSERT =
	9	sig
	10	val assert: string * (unit -> bool) -> unit
	11	val assertFun:
	12	string
	13	* ('a -> 'b)
	14	* ('a -> bool * ('b -> bool))
	15	-> 'a -> 'b
	16	val assertFun2:
	17	string
	18	* ('a -> 'b -> 'c)
	19	* ('a -> bool * ('b -> (bool * ('c -> bool))))
	20	-> 'a -> 'b -> 'c
	21	val debug: bool
	22	val fail: string -> 'a
	23	end