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