Module Lattice.Weak


module Weak: sig .. end

include Base
val use_ctrl_dependencies : bool