package records

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 `Record.Polid`Source

Sourcetype 'a t

The type of identifiers associated to type 'a.

Sourceval fresh : unit -> 'a t

Make a new, fresh identifier. This is the only way to obtain a value of type t.

Sourcetype ('a, 'b) equal =

Type constraint which is conditioned on identifier equality.

Sourceval equal : 'a t -> 'b t -> ('a, 'b) equal

Equality predicate.

Sourceval to_int : 'a t -> int

Convert an identifier to an integer. The integer is guaranteed to be unique for each call to fresh.

Sourceval is_equal : 'a t -> 'b t -> bool

equal projected to a plain bool.