package orsetto

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

A distinguished basis module for vectors with integer indices.

include Cf_bsearch.Basis with type t = int

Basis values are totally ordered.

include Cf_relations.Order with type t = int
type t = int

An abstract type.

val compare : t -> t -> int

Use compare a b to compare a and b, returning 0 if the two values have equal ordering, 1 if a precedes b and -1 if a succeeds b.

val succ : t -> t

Search uses succ c to find the successor of c.

val pred : t -> t

Search uses pred c to find the predecessor of c.

val center : t -> t -> t

Search uses center a b to find the center between a and b.

val expand : t -> t

Data structures use expand c to multiple an index by two.

val adjust : lim:t -> rev:t -> t -> t

Data structures use adjust ~lim ~rev c to quickly decrement c by the difference between lim and rev if c is a successor of lim.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct