package devkit

You can search for identifiers within the package.

in-package search v0.2.0

Development kit - general purpose library

Install

sha256=28f4c68127579b86c5f50e01e444e8c51f0543bc5472c2dcac28993bc88aa756

md5=0317493fa5cc1054a882ceca59ce5992

abstract type generator

module T : sig ... end

Sourcetype t

Sourceval inj : T.t -> t

Sourceval proj : t -> T.t

Sourceval inj_list : T.t list -> t list

Sourceval proj_list : t list -> T.t list

Sourceval inject : T.t -> t

Sourceval project : t -> T.t

Sourceval inject_list : T.t list -> t list

Sourceval project_list : t list -> T.t list

On This Page