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

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