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: 41e8648bc0f265f3d36876679a81edc8f3e2d1f9 (plain)

TrM.A = M.A
     : Set

OpM.A = M.A
     : Set

TrM.B = M.B
     : Set

*** [ OpM.B : Set ]