Module Cf_index_node.Binary

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).