Documentation

Batteries.Lean.Syntax

Helper functions for working with typed syntaxes. #

Applies the given function to every subsyntax.

Like Syntax.replaceM but for typed syntax. (Note there are no guarantees of type correctness here.)

Equations
Instances For