Alias plugin's `Abstract_state` API requires using private `Alias__Abstract_state` module
The Alias plugin exposes the Abstract_state
module through API.mli
.
However, OCaml doesn't know that the modules G
and LSet
used in the Abstract_state
module are the same as those exposed in the API
module, even though they are, because the .mli
do not expose this information. To use API.Abstract_state
in a meaningful way, the G
and LSet
modules must be accessed through the private Alias__Abstract_state
module generated by dune
.