package records
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Record.Polid
type 'a t = 'a Polid.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 constraint which is conditioned on identifier equality.