DB : EDOP

DB is an editor command.
Delete the leftmost binder in a wff.
 
The command format for DB is:

<Ed>DB <<GWFF>>
<<GWFF>>

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage