module Lattice: sig .. end
sig
end
annotations2state dft l
dft
module type S = sig .. end
module Weak: S
S
module Medium: S
module Strong: S