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

(* Soumis par Pierre *)
Print sig2.
Check (exists x : nat, x = x).
Check (fun b : bool => if b then b else b).