Module type Prim.WEIGHT

module type WEIGHT = sig .. end

type label 
type t 
val weight : label -> t
val compare : t -> t -> int
val add : t -> t -> t
val zero : t