package orsetto

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

Tree structures use Binary(K) to make an index node where K.t is the index value associated to its codomain value by the node.

Parameters

Signature

type index = K.t

The type of an index value.

type +'a t = K.t * 'a

The type of an index node.

val cons : index -> 'a -> 'a t

Tree structures use cons i v to construct an index node.

val index : 'a t -> index

Tree structures use index n to get the index of n.

val obj : 'a t -> 'a

Tree structure use obj n to get the codomain value of n.

val icompare : index -> 'a t -> int

Tree structures use icompare i n to compare i with the index value of n.

val compare : 'a t -> 'a t -> int

Tree structures use compare a b to compare the index values of nodes a and b (without regard to the codomain values).