Module type Path.WJ

module type WJ = sig .. end

Weight signature for Johnson's algorithm.


include Sig.WEIGHT
val sub : t -> t -> t

Subtraction of weights.