DEBSOURCES
Skip Quicknav
sources / coq / 8.20.1%2Bdfsg-1 / test-suite / bugs / bug_6878.v
12345678
Set Universe Polymorphism. Module Type T. Axiom foo : Prop. End T. (** Used to anomaly *) Fail Module M : T with Definition foo := Type.