package algaeff

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Make.ID`Source

The type of IDs and its friends.

Sourcetype t = private int

Semi-abstract type of IDs.

Sourceval equal : t -> t -> bool

Checking whether two IDs are equal.

Sourceval compare : t -> t -> int

Compare two IDs.

Sourceval dump : Format.formatter -> t -> unit

Printing the ID.

Sourceval unsafe_of_int : int -> t

Unsafe conversion from int. Should be used only for de-serialization.