Module Weight.IntIntInt

type t = int * int * int
val zero : int * int * int
val plus : (int * int * int) -> (int * int * int) -> int * int * int
val le : ('a * 'b * 'c) -> ('a * 'b * 'c) -> bool
val eq : ('a * 'b * 'c) -> ('a * 'b * 'c) -> bool
val lt : ('a * 'b * 'c) -> ('a * 'b * 'c) -> bool
val max : int * int * int
val min : int * int * int
val to_string : (int * int * int) -> string