Module Higher_kinded.Make

Parameters

module X : sig ... end

Signature

type higher_kinded
val inject : 'a X.t -> ('a -> higher_kinded) hk
val project : ('a -> higher_kinded) hk -> 'a X.t