class documentation
class UndirectedFunctionApplication(UndirectedBinaryCombinator): (source)
Class representing function application. Implements rules of the form: X/Y Y -> X (>) And the corresponding backwards application rule
| Method | __str__ |
Undocumented |
| Method | can |
Undocumented |
| Method | combine |
Undocumented |