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=81283687ce3204263bc955a332dd7b90bf5b648a990c01160f33aaa77d80962f

md5=7346293aa013c2a8974c6fb7c521166a

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.