Module Jkind.With_bounds

val debug_print_types : Format.formatter -> Types.with_bounds_types -> unit
val debug_print : Format.formatter -> ('l * 'r) Types.with_bounds -> unit
val map_type_expr : (Types.type_expr -> Types.type_expr) -> ('l * 'r) Types.with_bounds -> ('l * 'r) Types.with_bounds
val format : Format.formatter -> ('l * 'r) Types.with_bounds -> unit