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

sha512=9b654edb663ae697563f150824047052f3b1bf760398f24bce6350553f031f73c46b6337239a1acd871e61238597ea92046809e3358290ff14d6ba671b449085

Index codes for tree structures.

This module contains the index node structure shared by tree structures like

f_rbtree

and

f_sbheap

where an index is paired with an indexed value.

module type Profile = sig ... end

The signature of an index node module.

module Unary
  (E : Cf_relations.Order) : 
  Profile with type index = E.t and type +'a t = E.t

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 Binary
  (K : Cf_relations.Order) : 
  Profile with type index = K.t and type +'a t = K.t * 'a

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.