package higher_kinded

  1. Overview
  2. Docs
package higher_kinded
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Parameter Make_monad_using_witness.X

type higher_kinded
val inject : 'a M.t -> ('a -> higher_kinded) t
val project : ('a -> higher_kinded) t -> 'a M.t