Module Diagram.BigIntOrd

module BigIntOrd: Variables  with type t = int

Variables module for integers using the bigger integer always.

type t

val compare : t -> t -> int

val hash : t -> int

val neg : t -> t

val is_pos : t -> bool

val str : t -> string

val max : t

val to_int : t -> int