Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package oc45
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
The type of the elements
A function such that compare a b is zero if a equals b and is strictly negative (resp. positive) if a is smaller (resp. greater) than b. In most cases, Pervasives.compare will do.
A function such that compare a b is zero if a equals b and is strictly negative (resp. positive) if a is smaller (resp. greater) than b. In most cases, Pervasives.compare will do.
A function that returns "the average" of its two arguments, or the closest thing to it.
This is used to split the tree between two values. The only important thing is that, if a < b, a <= avg a b < b.