Jkind.Mod_bounds
type t = Types.Jkind_mod_bounds.t
val to_mode_crossing : Jkind.Mod_bounds.t -> Mode.Crossing.t