package higher_kinded

  1. Overview
  2. Docs
type witness1
type 'a witness = ('a, witness1) t
val inject : 'a Base.Lazy.t -> 'a witness
val project : 'a witness -> 'a Base.Lazy.t
OCaml

Innovation. Community. Security.