Module Lattices.Integer

module Known_Bits : sig ... end