Functor Model.Make


module Make: 
functor (S : Lattice.S) -> sig .. end
Parameters:
S : Lattice.S

module L: sig .. end
Extended Security Lattice
module Leaks: sig .. end
Leaks of the analysis
module State: sig .. end
State of the analysis
module Register: sig .. end
How to register variables.
module Logic: sig .. end
Logic model