package orsetto

You can search for identifiers within the package.

in-package search v0.2.0

A library of assorted structured data interchange languages

Install

sha256=585297372d7f6cfb830214e9ef22d6d072a39b2a1591ef90f1ee2bcfe144cad3

md5=6bb6a7ba88bf2c7595a0b332921e60b4

Tree structures use Unary(E) to make an node module where E.t is the only value stored in the node. (The obj function asserts false.)

module E : Cf_relations.Order

type index = E.t

The type of an index value.

type +'a t = E.t

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

On This Page