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=f64814687276bad56483b2b8dfaaf70d0d6485f67fe5d44bff34bfa47af1896e

md5=3a15a377800cf988a310b4082406c685

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.