package higher_kinded

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type witness3

type 'z witness2 = ('z, witness3) t

type ('y, 'z) witness1 = ('y, 'z witness2) t

type ('a, 'y, 'z) witness = ('a, ('y, 'z) witness1) t

val inject : ('a, 'y, 'z) Base.Map.t -> ('a, 'y, 'z) witness

val project : ('a, 'y, 'z) witness -> ('a, 'y, 'z) Base.Map.t