package oc45
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module type Oc45.Comparable
Source
The type of the elements
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
.