package orsetto

  1. Overview
  2. Docs
A library of assorted structured data interchange languages

Install 

dune-project
 Dependency

bitbucket.org Edit opam file Versions (8)

Authors

  1. J
    james woodyatt <jhw@conjury.org>

Maintainers

  1. J
    james woodyatt <jhw@conjury.org>

Sources

r1.1.2.tar.gz
sha512=e260412b2dd0f98cfe3dc7ed5c31a694eb31c93cd207c51fa12675b790234ee0ad3bf07d9be17a4dc266fedfe55b14c967cad7bc0c9414063eef8afd59f3d0d1

doc/orsetto.cf/Cf_index_node/Unary/index.html

Module Cf_index_node.Unary

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

Parameters

Signature

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