Module Jkind.Mod_bounds
type t = Types.mod_boundsval to_axis_lattice : t -> Axis_lattice.tval of_axis_lattice : Axis_lattice.t -> tval to_mode_crossing : t -> Mode.Crossing.tval debug_print : Format.formatter -> t -> unitJkind.Mod_boundstype t = Types.mod_boundsval to_axis_lattice : t -> Axis_lattice.tval of_axis_lattice : Axis_lattice.t -> tval to_mode_crossing : t -> Mode.Crossing.tval debug_print : Format.formatter -> t -> unit