package higher_kinded

You can search for identifiers within the package.

in-package search v0.2.0

A library with an encoding of higher kinded types in OCaml

Install

sha256=a9f046111d35745d60e13eaa212d621a8bdad315f350fe1b024d0854f99e0551

module X : sig ... end

Sourcetype higher_kinded

Sourceval inject : ('a, 'z) X.t -> ('a -> 'z -> higher_kinded) t

Sourceval project : ('a -> 'z -> higher_kinded) t -> ('a, 'z) X.t

On This Page