Module Lattice.Strong


module Strong: sig .. end

include Base
val use_ctrl_dependencies : bool