package patoline

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Module defining the types carried by the node or leaf of a tree.

type tree

Type of a tree.

type node

Type of internal nodes in the tree, which may contain child tree indexed by integers.

val tree_of_node : node -> tree

Building a tree from a node.

val node_of_tree : tree -> node

If the argument is a node, retrieves this node. This function must raise an exception if the argument is a leaf.

val get_child : node -> int -> tree

Get the n-th child of a node.

val set_child : node -> int -> tree -> node

Build a new node by replacing the n-th child.

val remove_child : node -> int -> node

Remove a designated child from the list of children.

val has_child : node -> int -> bool

Test if a specific child exists.

val min_index : node -> int

Minimum index of existing children.

val max_index : node -> int

Maximum index of existing children.