type t = ..
type t = private ..
type t<'a, 'b> = ..
type t<'a, 'b> = private ..

type t = .. constraint 't = ('s, 'a) => 'sub
