module Model: sig .. end
sig
end
State of the analysis
type values = Db.Value.state
Db.Value.state
val state_name : string
string
module Make: functor (S : Lattice.S) -> sig .. end
functor (
S
:
Lattice.S
) ->