List of all items

Structs

• EvalSite
• ExprError
• ExprOptions
• Op
• OpDef
• OpRef
• PrevalDef
• TranslationPart
• TranslationParts

Functions

• apply
• defaults
• evaluation
• expr
• is_op
• make
• make_with
• manifest_text
• op_of
• opify
• parse
• parse_scope
• parse_simplified
• parse_with
• plugin
• plugin_with
• prattify
• realize
• render_text
• simplify
• terms_of
• translate

Type Aliases

• Evaluate

Constants

• MAX_SAFE_INTEGER
• MIN_SAFE_INTEGER
• NODE_LIMIT
• PLUGIN_NAME
• RULE_LIMIT
• VERSION