TranspModtype.out « output « test-suite - coq - The formal proof system

about summary refs log tree commit diff

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

blob: 009d7fc3557a70ef885ed5d49cae26e0bc7c1865 (plain)

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