Closed qwenger closed 2 years ago
Fix #69.
Note: in contrast to many other constructs, the type of what Symbol() returns is not object but symbol. Nevertheless, I don't see much need for a distinction on the Python side.
Symbol()
object
symbol
Fix #69.