test-suite/output/Binder.v


1
2
3
4
5
6
7

Definition foo '(x,y) := x + y.
Print foo.
Check forall '(a,b), a /\ b.

Require Import Utf8.
Print foo.
Check forall '(a,b), a /\ b.