Functor HiddenInts.Make

module Make: functor (X : S) -> HI

Create a new instance of an HiddenInteger module

Parameters:

X : S

type t

val create_new : unit -> t

val compare : t -> t -> int

val string_of : t -> string

val reset : unit -> unit