package orsetto

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

Signture of vector basis with type erased.

val compare : index -> index -> int
val succ : index -> index
val pred : index -> index
val center : index -> index -> index
val expand : index -> index

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

val adjust : lim:index -> rev:index -> index -> index

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.