package dune-private-libs

  1. Overview
  2. Docs
Private libraries of Dune

Install

dune-project
 Dependency

Authors

Maintainers

Sources

dune-2.5.1.tbz
sha256=8f77d3a87f208e0d7cccaa1c48c4bb1bb87d62d07c3f25e9b8ba298e028ce52b
sha512=f209f12ced10c1abf8782bdb0143f4cec77795f7174d2cc75130afb1e01550b01f2f77b9e3ec4888efdad83d2f9878d179b39126f824f4e522f3ef4da34bf27e

doc/dune-private-libs.stdune/Stdune/Id/Make/index.html

Module Id.MakeSource

A functor to create a new ID generator module.

Parameters

Signature

Sourcetype t
Sourcemodule Set : sig ... end
Sourcemodule Map : sig ... end
Sourceval gen : unit -> t

Generate a new id.

Sourceval peek : unit -> t

Get the next id that would be generated, without actually generating it.

Sourceval to_int : t -> int

Convert the id to an integer.

Sourceval compare : t -> t -> Ordering.t

Compare two ids.

Sourceval equal : t -> t -> bool
Sourceval hash : t -> int
Sourceval to_dyn : t -> Dyn.t