Common¶
Documentation¶
Module author: Cédric HT
-
class
opetopy.common.
AbstractRuleInstance
[source]¶ Abstract class representing a rule instance in a proof tree.
-
__weakref__
¶ list of weak references to the object (if defined)
-
-
exception
opetopy.common.
DerivationError
(scope: str, message: str, **kwargs)[source]¶ This exception is raised whenever an illegal operation on syntactical constructs relevant to opetopes is performed.
-
__init__
(scope: str, message: str, **kwargs) → None[source]¶ Initialize self. See help(type(self)) for accurate signature.
-
__weakref__
¶ list of weak references to the object (if defined)
-