Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Resto
Sourceeq
is an equality witness type. It is returned by some non-trivial equality-testing functions in the rest of this module. In general, it is intended to be used as follows:
match are_equal foo bar with | None -> (* values are not equal *) .. | Some Eq -> (* values are equal *) ..
Service directory description
An ENCODING
is a generic interface for modules that provide conversion from values to a different representation and back. This is used to abstract resto over specific representations of values.