Searched defs:Opt_WarnNonCanonicalMonoidInstances (Results 1 – 4 of 4) sorted by relevance
478 | Opt_WarnNonCanonicalMonoidInstances -- since 8.0 constructor
488 | Opt_WarnNonCanonicalMonoidInstances -- since 8.0 constructor
911 | Opt_WarnNonCanonicalMonoidInstances -- since 8.0 constructor
910 | Opt_WarnNonCanonicalMonoidInstances -- since 8.0 constructor