1 (* Copyright (C) 1999-2006 Henry Cejtin, Matthew Fluet, Suresh
2 * Jagannathan, and Stephen Weeks.
4 * MLton is released under a BSD-style license.
5 * See the file MLton-LICENSE for details.
8 signature RING_WITH_IDENTITY_STRUCTS =
15 signature RING_WITH_IDENTITY =
17 include RING_WITH_IDENTITY_STRUCTS
20 val dec: t ref -> unit
21 (* fromInt n = 1 + ... + 1, n times. *)
22 val fromInt: Pervasive.Int.int -> t
23 val fromIntInf: Pervasive.IntInf.int -> t
24 val inc: t ref -> unit
26 val pow: t * Pervasive.Int.int -> t
27 val powInf : t * Pervasive.IntInf.int -> t
28 val pows: (t * Pervasive.Int.int) list -> t (* simultaneous exponentiation *)
29 val powsInf: (t * Pervasive.IntInf.int) list -> t