1 (* Copyright (C) 2009,2011 Matthew Fluet.
2 * Copyright (C) 1999-2006 Henry Cejtin, Matthew Fluet, Suresh
3 * Jagannathan, and Stephen Weeks.
5 * MLton is released under a BSD-style license.
6 * See the file MLton-LICENSE for details.
16 val fix: int option -> t
17 val gen: int option -> t
18 val sci: int option -> t
28 val <= : t * t -> bool
30 val >= : t * t -> bool
38 val choose: t * t -> t
48 val class: t -> Class.t
49 val compare: t * t -> Relation.t
51 val dec: t ref -> unit
52 val equals: t * t -> bool
55 val format: t * Format.t -> string
56 val fromInt: Pervasive.Int.int -> t (* fromInt n = 1 + ... + 1, n times. *)
57 val fromIntInf: Pervasive.IntInf.int -> t
58 val fromString: string -> t option
59 val inc: t ref -> unit
62 val isFinite: t -> bool
64 val layout: t -> Layout.t
79 val realPower: t * t -> t
84 val signBit: t -> bool
86 val split: t -> {frac: t, whole: t}
91 val toIntInf: t -> Pervasive.IntInf.int
92 val toString: t -> string