Module `Btype.TypePairs`

type t

val create : int -> Btype.TypePairs.t

val clear : Btype.TypePairs.t -> unit

val add : Btype.TypePairs.t -> (Types.type_expr * Types.type_expr) -> unit

val mem : Btype.TypePairs.t -> (Types.type_expr * Types.type_expr) -> bool

val iter : 
  ((Types.type_expr * Types.type_expr) -> unit) ->
  Btype.TypePairs.t ->
  unit

Module Btype.TypePairs