package devkit

  1. Overview
  2. Docs
Development kit - general purpose library

Install

dune-project
 Dependency

Authors

Maintainers

Sources

1.20261006.tar.gz
md5=a39dbbce04bd5562a9b4443daf39c582
sha512=b10104b61384b2151521b785e7f3c3250134c75eae09b42cad69bc4a22a9a5e429beb891ee87cedf376c23d9c40f09d3f71c3fd48aa35df490c0f69dc17f3242

doc/devkit.core/Devkit_core/Prelude/Fresh/index.html

Module Prelude.FreshSource

abstract type generator

Parameters

module T : sig ... end

Signature

Sourcetype t
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
Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval map : (T.t -> T.t) -> t -> t
Sourceval map2 : (T.t -> T.t -> T.t) -> t -> t -> t