blob: f080f6d0f082214830ddb2768bb02279864b3e3b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
Monomorphic TrM.A = M.A
: Set
TrM.A is not universe polymorphic
Monomorphic OpM.A = M.A
: Set
OpM.A is not universe polymorphic
Monomorphic TrM.B = M.B
: Set
TrM.B is not universe polymorphic
Monomorphic *** [ OpM.B : Set ]
OpM.B is not universe polymorphic
|
