test-suite/bugs/closed/2668.v


1
2
3
4
5
6

Require Import MSetPositive.
Require Import MSetProperties.

Module Pos := MSetPositive.PositiveSet.
Module PPPP := MSetProperties.WPropertiesOn(Pos).
Print Module PPPP.