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

(* Copyright (C) 1999-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 NUMBER =
   sig
      include INTEGER
      structure I : INTEGER

      val / : t * t -> t 
      val inverse : t -> t
      val ln : t -> t
      val exp : t -> t
      val log : t * t -> t
      val log2 : t -> t

      val fromReal : real -> t

      (* Rational Specific *)
      val numerator : t -> I.t
      val denominator : t -> I.t
   end
Commit	Line	Data
7f918cf1 CE	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 NUMBER =
	9	sig
	10	include INTEGER
	11	structure I : INTEGER
	12
	13	val / : t * t -> t
	14	val inverse : t -> t
	15	val ln : t -> t
	16	val exp : t -> t
	17	val log : t * t -> t
	18	val log2 : t -> t
	19
	20	val fromReal : real -> t
	21
	22	(* Rational Specific *)
	23	val numerator : t -> I.t
	24	val denominator : t -> I.t
	25	end