True

$$\operatorname{True}$$

Boolean constant. Note: because True is a reserved keyword in Python, Pygrim actually uses the Python variable name True_ for this symbol. The Python constant True can nevertheless be used when writing Grim expressions, since it gets converted when used as a function argument.

Last updated: 2020-03-06 00:22:16