package devkit

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

Module Prelude.NewSource

abstract type generator

  • deprecated use Fresh instead

Parameters

module T : sig ... end

Signature

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
OCaml

Innovation. Community. Security.