OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
132 stars 33 forks source link

Uniformize Dolmen alias modules #1257

Closed Halbaroth closed 3 weeks ago

Halbaroth commented 1 month ago

Dolmen paths are a bit mouthful so we use aliases. Most of these aliases have been introduced in Solving_loop but we do not always stick to this conventions and we have to repeat them at the beginning of many files. This commit introduces a new module Alias which contains these aliases and can be open in implementation files.

I do not use alias in signature modules.