Module Mlpost.Pos


module Pos: sig .. end


This module consists of several functors for generic placement of objects. Instantiations with the Picture module exist in other places of Mlpost.

Placing requirements


module type POS = sig .. end
The signature POS describes the requirements for positionnable objects

Alignment of sequences


module type SEQ = sig .. end
This signature describes the output type of the Pos.List_ and Pos.Array_ functors.
module List_: 
functor (P : POS) -> SEQ with type 'a seq = 'a list and module P = P
Use this functor to align lists of objects
module Array_: 
functor (P : POS) -> SEQ with type 'a seq = 'a array and module P = P
Use this functor to align arrays of objects

Tree placement



type 'a tree =
| N of 'a * 'a tree list
The type of trees
module type TREE = sig .. end
The output signature of the Pos.Tree functor.
module Tree: 
functor (P : POS) -> TREE with module P = P
Use this functor to position trees.