Symbol

class ninetoothed.Symbol(expr, constexpr=None, meta=None)

A class uesed to represent a symbol.

Parameters:

• expr – The expression used to construct the symbol.

• constexpr – Whether the symbol is a constexpr.

• mata – Whether the symbol is a meta.