MSetEqProperties (p.jasmin.2025.06.2.doc.jasmin.jasmin.Jasmin.MSetEqProperties)

type __ = Obj.t

module WEqPropertiesOn
  (E : Equalities.DecidableType)
  (M : sig ... end) : 
  sig ... end

module WEqProperties (M : MSetInterface.WSets) : sig ... end

module EqProperties (M : MSetInterface.WSets) : sig ... end