package records
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Polid
Polymorphic identifiers.
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.