Module Stable_comparable.With_stable_witness

module type V1 = sig ... end