variance annotation

This commit is contained in:
Simon Cruanes 2015-09-15 01:27:54 +02:00
parent d033b4621c
commit e9a3cbdc62
2 changed files with 3 additions and 3 deletions

View file

@ -60,7 +60,7 @@ end
module type S = sig
type key
type 'a t
type +'a t
val empty : 'a t
@ -158,7 +158,7 @@ module MakeFull(K : KEY) : S with type key = K.t = struct
type weight = int
type 'a t =
type +'a t =
| E
| N of key * 'a * 'a t * 'a t * weight

View file

@ -26,7 +26,7 @@ end
module type S = sig
type key
type 'a t
type +'a t
val empty : 'a t