Module type Diagram.Variables

module type Variables = sig .. end

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