Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
record c v
links the lifetimes of c
and v
, ensuring that v
is not collected while c
is still live. The return value is a key that can be used to retrieve v
while v
is still live.