Module Model


module Model: sig .. end
Extended Security Lattice

State of the analysis


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