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 `Polid`

Polymorphic identifiers.

type 'a t

The type of identifiers associated to type 'a.

val fresh : unit -> 'a t

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

type (_, _) equal =

Type constraint which is conditioned on identifier equality.

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

Equality predicate.

val to_int : 'a t -> int

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

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

equal projected to a plain bool.