devkit

Development kit - general purpose library
IN THIS PACKAGE
Module Devkit_core . Prelude . New

Parameters

module T : sig ... end

Signature

type t
val inj : T.t -> t
val proj : t -> T.t
val inj_list : T.t list -> t list
val proj_list : t list -> T.t list
val inject : T.t -> t
val project : t -> T.t
val inject_list : T.t list -> t list
val project_list : t list -> T.t list