Prelude.N1
Type-specialized comparison; satisifes OrderedType.
OrderedType
The Natural Numbers from one
type t = private int
val to_int : t -> int
val of_int : int -> t option
val compare : t -> t -> int
val one : t
val succ : t -> t
val pred : t -> t option
val (+) : t -> t -> t
val (*) : t -> t -> t
val to_string : t -> string
val print : t -> unit
val random : unit -> t