_API: mainly related to expressions

tlaplus / tlapm

The TLA Proof Manager

https://proofs.tlapl.us/

BSD 2-Clause "Simplified" License

65 stars 20 forks source link

Closed johnyf closed 2 years ago

johnyf commented 2 years ago

johnyf commented 2 years ago

Thank you for reviewing and approving the changes, I applied the suggested changes, rebased and updated this pull request.

johnyf commented 2 years ago

This pull request has been merged, after rebasing onto branch main.