Module Lattice


module Lattice: sig .. end
annotations2state dft l returns the state corresponding to the given annotations. Return dft if there is no annotation.

module type S = sig .. end
module Weak: S 
module Medium: S 
module Strong: S