Per.AST
(per v5.3.21)
Copy Markdown
Abstract Syntax Tree structures for the Per compiler.
Summary
Functions
Creates a non-dependent function type (arrow).
Convenience for Bool variable.
Collects all dimension atoms (variable names) from a formula.
Convenience for Nat variable.
Creates a Pi type.
Converts an AST term to its string representation.
Convenience for Unit variable.
Creates a universe type.
Functions
Creates a non-dependent function type (arrow).
Convenience for Bool variable.
Collects all dimension atoms (variable names) from a formula.
Convenience for Nat variable.
Creates a Pi type.
Converts an AST term to its string representation.
Convenience for Unit variable.
Creates a universe type.