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=151ca6df499bd3de7aa89a4e1627411fbee24c4dea6e0e71ce21f06f181ee654

md5=00393728b481c2bf15919a8202732335

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.