package higher_kinded

  1. Overview
  2. Docs

Parameters

module X : Base.T1

Signature

type witness1
type 'a witness = ('a, witness1) t
val inject : 'a X.t -> 'a witness
val project : 'a witness -> 'a X.t
OCaml

Innovation. Community. Security.