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=6e6f59fc6a2c590b1b377e40f2120a548e6f09e61e7eb12ffa45cf2d517316b8

md5=533153cd4a9fe8093d3b98afc1073bc8

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.