TranspModtype.out « output « test-suite - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/test-suite/output/TranspModtype.out

blob: f94ed6423412360e187023678b00a7654b7a2dc2 (plain)

TrM.A = M.A
     : Set
OpM.A = M.A
     : Set
TrM.B = M.B
     : Set
*** [ OpM.B : Set ]