Prelude.ARITH
Signature for Arithmetics (type t, zero, succ, ( + ) and ( * )); we also include compare, one, pred, ( - ), ( / ), and random.
type t
zero
succ
( + )
( * )
compare
one
pred
( - )
( / )
random
val compare : t -> t -> int
val zero : t
val one : t
val succ : t -> t
val pred : t -> t
val (+) : t -> t -> t
val (-) : t -> t -> t
val (*) : t -> t -> t
val (/) : t -> t -> t
val random : unit -> t