module type WJ = sig .. end
sig
end
Weight signature for Johnson's algorithm.
include Sig.WEIGHT
val sub : t -> t -> t
t -> t -> t
Subtraction of weights.