Module `Types.With_bounds_types`

type t = Types.with_bounds_types

type info := Types.With_bounds_type_info.t

val empty : Types.With_bounds_types.t

val is_empty : Types.With_bounds_types.t -> bool

val to_seq : 
  Types.With_bounds_types.t ->
  (Types.type_expr * Types.With_bounds_types.info) Stdlib.Seq.t

val of_list : 
  (Types.type_expr * Types.With_bounds_types.info) list ->
  Types.With_bounds_types.t

val of_seq : 
  (Types.type_expr * Types.With_bounds_types.info) Stdlib.Seq.t ->
  Types.With_bounds_types.t

val singleton : 
  Types.type_expr ->
  Types.With_bounds_types.info ->
  Types.With_bounds_types.t

val map : 
  (Types.With_bounds_types.info -> Types.With_bounds_types.info) ->
  Types.With_bounds_types.t ->
  Types.With_bounds_types.t

val merge : 
  (Types.type_expr ->
    Types.With_bounds_types.info option ->
    Types.With_bounds_types.info option ->
    Types.With_bounds_types.info option) ->
  Types.With_bounds_types.t ->
  Types.With_bounds_types.t ->
  Types.With_bounds_types.t

val update : 
  Types.type_expr ->
  (Types.With_bounds_types.info option -> Types.With_bounds_types.info option) ->
  Types.With_bounds_types.t ->
  Types.With_bounds_types.t

val find_opt : 
  Types.type_expr ->
  Types.With_bounds_types.t ->
  Types.With_bounds_types.info option

val for_all : 
  (Types.type_expr -> Types.With_bounds_types.info -> bool) ->
  Types.With_bounds_types.t ->
  bool

val map_with_key : 
  (Types.type_expr ->
    Types.With_bounds_types.info ->
    Types.type_expr * Types.With_bounds_types.info) ->
  Types.With_bounds_types.t ->
  Types.With_bounds_types.t

Module Types.With_bounds_types

Module `Types.With_bounds_types`