package higher_kinded

  1. Overview
  2. Docs
type higher_kinded
val inject : ('a, 'z) Base.Set.t -> ('a -> 'z -> higher_kinded) t
val project : ('a -> 'z -> higher_kinded) t -> ('a, 'z) Base.Set.t