package higher_kinded

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

Innovation. Community. Security.