Module `Jkind.With_bounds`

val debug_print_types : 
  Stdlib.Format.formatter ->
  Types.with_bounds_types ->
  unit

val debug_print : 
  Stdlib.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 : Stdlib.Format.formatter -> ('l * 'r) Types.with_bounds -> unit

Module Jkind.With_bounds