package orsetto

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Use Order_basis(R) to compose a table basis for a total order.

Parameters

Signature

The total order of search keys.

module Vector : Vector.Profile with type element = R.t with type index = int with type t = R.t array

The implementation module for the underlying vector.

val xcompare : Search.t -> Vector.element -> int

The find function uses this to compare a search key with a vector element when iterating the vector.