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