1 2 3 4 5 6
Require Import MSetPositive. Require Import MSetProperties. Module Pos := MSetPositive.PositiveSet. Module PPPP := MSetProperties.WPropertiesOn(Pos). Print Module PPPP.