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