Sum.out « output « test-suite - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

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

blob: e8b215bc75e107a0110a18e74097943e96a89554 (plain)

'type:nat+nat '+{True}
     : Set
{True}+{True}+{True}
     : Set
nat+{True}+{True}
     : Set