sig
  type t
  val compare : Diagram.Variables.t -> Diagram.Variables.t -> int
  val hash : Diagram.Variables.t -> int
  val neg : Diagram.Variables.t -> Diagram.Variables.t
  val is_pos : Diagram.Variables.t -> bool
  val str : Diagram.Variables.t -> string
  val max : Diagram.Variables.t
  val to_int : Diagram.Variables.t -> int
end