smtml
Smtml.Compile
Compilation Module. This module provides functionality for parsing and processing abstract syntax trees (ASTs) from files, with support for transformations and rewrites.
smtml.prelude
val until_rewrite : Fpath.t -> Ast.t list
until_rewrite path parses and processes the AST from the given file path path and applies standard formula rewriting.
until_rewrite path
path
path is the file path to read and process. The function returns a list of AST nodes resulting from the rewrite process.