EXISTS1 : BINDER

EXISTS1 is a binder.
No more help available. Sorry.
SIGMA1(O(OA)).LAMBDA x(A) A(O)
Type variables are: ("A")
Prefix binding priority is 100

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage