exception documentation
class UnificationException(Exception): (source)
Constructor: UnificationException(a, b, bindings)
Undocumented
| Method | __init__ |
Undocumented |
class UnificationException(Exception): (source)
Constructor: UnificationException(a, b, bindings)
Undocumented
| Method | __init__ |
Undocumented |