Module `Jkind.With_bounds`

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

val debug_print : 
  Stdlib.Format.formatter ->
  ('l * 'r) Ocaml_typing.Types.with_bounds ->
  unit

val map_type_expr : 
  (Ocaml_typing.Types.type_expr -> Ocaml_typing.Types.type_expr) ->
  ('l * 'r) Ocaml_typing.Types.with_bounds ->
  ('l * 'r) Ocaml_typing.Types.with_bounds

val format : 
  Stdlib.Format.formatter ->
  ('l * 'r) Ocaml_typing.Types.with_bounds ->
  unit

Module Jkind.With_bounds

Module `Jkind.With_bounds`