Module Higher_kinded.Make

Parameters

Signature

type (_, _) higher_kinded
type 'a t
type witness1
type 'a witness = ('awitness1) higher_kinded
val inject : 'a t -> 'a witness
val project : 'a witness -> 'a t