Module Jkind.Mod_bounds

val to_mode_crossing : t -> Mode.Crossing.t