package higher_kinded

  1. Overview
  2. Docs

Module Higher_kinded.Make5Source

Parameters

module X : sig ... end

Signature

Sourcetype higher_kinded
Sourceval inject : ('a, 'w, 'x, 'y, 'z) X.t -> ('a -> 'w -> 'x -> 'y -> 'z -> higher_kinded) t
Sourceval project : ('a -> 'w -> 'x -> 'y -> 'z -> higher_kinded) t -> ('a, 'w, 'x, 'y, 'z) X.t
OCaml

Innovation. Community. Security.