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_doc.formatter -> ('l * 'r) Types.with_bounds -> unit

val to_seq : 
  ('l * 'r) Types.with_bounds ->
  (Types.type_expr * Types.With_bounds_type_info.t) Seq.t

Module Jkind.With_bounds