Fix injectivity type
parent
44403b16e8
commit
22a158b7b2
|
@ -67,7 +67,7 @@ module type S =
|
|||
type key
|
||||
(** The type of the map keys. *)
|
||||
|
||||
and (!+'a) t
|
||||
type !+'a t
|
||||
(** The type of maps from type [key] to type ['a]. *)
|
||||
|
||||
val empty: 'a t
|
||||
|
|
|
@ -571,7 +571,7 @@ module type S =
|
|||
type key
|
||||
(** The type of the map keys. *)
|
||||
|
||||
and (!+'a) t
|
||||
type !+'a t
|
||||
(** The type of maps from type [key] to type ['a]. *)
|
||||
|
||||
val empty: 'a t
|
||||
|
|
|
@ -67,7 +67,7 @@ module type S =
|
|||
type key
|
||||
(** The type of the map keys. *)
|
||||
|
||||
and (!+'a) t
|
||||
type !+'a t
|
||||
(** The type of maps from type [key] to type ['a]. *)
|
||||
|
||||
val empty: 'a t
|
||||
|
|
Loading…
Reference in New Issue