Module `Jkind.With_bounds`Source

Sourceval debug_print_types : Format.formatter -> Types.with_bounds_types -> unit

Sourceval 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 : 
  Ocaml_utils.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_boundsSource