Module Core.Stable_comparable

module type V1 = sig ... end
module With_stable_witness : sig ... end