Module Tree_adv.Place

Parameters

Signature

val gen_place : place:(Box.t t -> Box.t) -> X.t t -> X.t t

This is a generic function for placing trees, provided that the user can give us the following functions:

  • parameter place

    a function which knows how to place a tree of boxes - it should return a box where all the boxes of the input tree appear.

val place : ?ls:Num.t -> ?cs:Num.t -> ?valign:Box.position -> ?halign:Box.position -> X.t t -> X.t t

This is an instance of gen_place using the tree drawing algorithm from the module Tree.