symbolic.ObjectType

class symbolic.ObjectType

Bases: pybind11_object

__init__(*args, **kwargs)

Methods

__init__(*args, **kwargs)
is_subtype(self, arg0)

Attributes

name

is_subtype(self: symbolic.pysymbolic.ObjectType, arg0: str) → bool