path: root/test-suite/output/InitSyntax.v

(* Soumis par Pierre *)
Print  sig2.
Check (EX x:nat|x=x).
Check [b:bool]if b then b else b.