module Equivalence: sig .. end
sig
end
type t = [ `None | `Same_active_condition ]
[ `None | `Same_active_condition ]