Skip to content

Explain record mutation syntax in ltac2 doc #4056

Explain record mutation syntax in ltac2 doc

Explain record mutation syntax in ltac2 doc #4056