Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Orec.UnivSourceHelper type
Unique type identifier with equality
key type
Compute the value-level identifier associated to a type-level identifier
Bind together an 'a type-identifier with an 'a value
Try to extract an 'a value from a binding using the given type identifier