alt-ergo icon indicating copy to clipboard operation
alt-ergo copied to clipboard

Published 20 hours ago • verified publisher icon OCamlPro

Remove open

Open Halbaroth opened this issue 1 year ago • 0 comments

This PR removes most of the global opens in the Alt-Ergo library. They are replaced by local opens, aliases and explicit type annotations.

Halbaroth avatar Sep 27 '22 22:09 Halbaroth