Module Diagram.WeightIntOrd

module WeightIntOrd: Variables  with type t = int

Variables module for integers using the weights.

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