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

summary refs log tree commit diff

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

blob: bda6a68b0103ae4173ebaba62de6941f32966c9b (plain)

nat + nat + {True}
     : Set
{True} + {True} + {True}
     : Set
nat + {True} + {True}
     : Set