# Documentation

Std.Lean.Parser

A simpArg is either a *, -lemma or a simp lemma specification (which includes the ↑↑ ↓↓ ←← specifications for pre, post, reverse rewriting).

Equations

A simp args list is a list of simpArg. This is the main argument to simp.

Equations
• One or more equations did not get rendered due to their size.

Extract the arguments from a simpArgs syntax as an array of syntaxes

Equations
• One or more equations did not get rendered due to their size.

A dsimpArg is similar to simpArg, but it does not have the simpStar form because it does not make sense to use hypotheses in dsimp.

Equations

A dsimp args list is a list of dsimpArg. This is the main argument to dsimp.

Equations
• One or more equations did not get rendered due to their size.

Extract the arguments from a dsimpArgs syntax as an array of syntaxes

Equations
• One or more equations did not get rendered due to their size.