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