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 Boolean: 
functor (Str : sig
val true_str : string
val false_str : string
end) -> sig .. end
module Base: sig .. end
module Weak: sig .. end
module Strong: sig .. end
module Medium: sig .. end