THAT : BINDER

THAT is a binder.
Description binder: Selects the unique term such that.
IOTA.LAMBDA z(C) A(O)
Type variables are: ("C")
Prefix binding priority is 100

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage