package devkit

  1. Overview
  2. Docs
package devkit
Legend:
Library
Module
Module type
Parameter
Class
Class type

abstract type generator

  • deprecated use Fresh instead

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