package acgtk

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

This module is a functor that generates a identifier generator from a module implementing these identifiers

Parameters

module ID : IdType

Signature

type id = ID.t

The type of the identifier generated

type t

The type of the generator

val init : unit -> t

init () returns a new generator

val get_fresh_id : t -> id * t

get_fresh_id gen returnds a pair (id,gen') where id is a fresh id and gen' a new generator that knows id was already generated.

val eq : id -> id -> bool

eq id1 id2 returns true if id1=id2 and fase otherwise.

val compare : id -> id -> int

compare id1 id2 returns an integer which is 0 if id1=id2, negative of id1 is less than id2 and positive otherwise.

val id_to_string : id -> string
module IdMap : Stdlib.Map.S with type key = id

IdMap implements maps whose keys are identifiers

Table implements correspondance tables with the current identifiers

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct