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:
module Base:sig
..end
module Weak:sig
..end
module Strong:sig
..end
module Medium:sig
..end