% File: fol.elf

% First Order Logic Signature.

i : type.  %name i T.
o : type.  %name o A.

and    : o -> o -> o.   %infix right 11 and.
imp    : o -> o -> o.   %infix right 10 imp.
or     : o -> o -> o.   %infix right 11 or.
not    : o -> o.        %prefix 12 not.
true   : o.
false  : o.
forall : (i -> o) -> o.
exists : (i -> o) -> o.