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