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.