Use term_cst as identifiers of names

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

130 stars 33 forks source link

Use term_cst as identifiers of names #1229

Open Halbaroth opened 2 weeks ago

Halbaroth commented 2 weeks ago

The goal of this PR is mainly to improve our API for models. Currently, we use AE symbols as identifiers of declared constants in models. This PR replaces them by Dolmen.Std.Expr.term_cst.

Fix partially #1214