sig
type 'a t = Node of 'a * 'a Mlpost.Tree_adv.t list
module Place :
functor (X : Signature.Boxlike) ->
sig
val gen_place :
place:(Mlpost.Box.t Mlpost.Tree_adv.t -> Mlpost.Box.t) ->
X.t Mlpost.Tree_adv.t -> X.t Mlpost.Tree_adv.t
val place :
?ls:Mlpost.Num.t ->
?cs:Mlpost.Num.t ->
?valign:Mlpost.Box.position ->
?halign:Mlpost.Box.position ->
X.t Mlpost.Tree_adv.t -> X.t Mlpost.Tree_adv.t
end
val gen_draw_arrows :
'a ->
style:(Mlpost.Point.t -> Mlpost.Point.t -> 'a) ->
corner:(Mlpost.Box.position -> 'b -> Mlpost.Point.t) ->
'b Mlpost.Tree_adv.t -> 'a Mlpost.Tree_adv.t
val draw : ('a -> Mlpost.Box.t) -> 'a Mlpost.Tree_adv.t -> Mlpost.Command.t
val map : ('a -> 'b) -> 'a Mlpost.Tree_adv.t -> 'b Mlpost.Tree_adv.t
val map2 :
('a -> 'b -> 'c) ->
'a Mlpost.Tree_adv.t -> 'b Mlpost.Tree_adv.t -> 'c Mlpost.Tree_adv.t
val combine :
'a Mlpost.Tree_adv.t ->
'b Mlpost.Tree_adv.t -> ('a * 'b) Mlpost.Tree_adv.t
val split :
('a * 'b) Mlpost.Tree_adv.t ->
'a Mlpost.Tree_adv.t * 'b Mlpost.Tree_adv.t
val root_map :
('a option -> 'a -> 'b) -> 'a Mlpost.Tree_adv.t -> 'b Mlpost.Tree_adv.t
val map_children :
('a -> 'a list -> 'b) -> 'a Mlpost.Tree_adv.t -> 'b Mlpost.Tree_adv.t
val fold : ('a -> 'b -> 'a) -> 'a -> 'b Mlpost.Tree_adv.t -> 'a
val filter : ('a -> bool) -> 'a Mlpost.Tree_adv.t -> 'a Mlpost.Tree_adv.t
val filter_option :
('a -> 'b option) -> 'a Mlpost.Tree_adv.t -> 'b Mlpost.Tree_adv.t
val wrap_corner_box :
('a -> Mlpost.Box.t) ->
(corner:(Mlpost.Box.position -> 'a -> Mlpost.Point.t) -> 'b) -> 'b
module Overlays :
sig
type interval = Bet of int * int | Bef of int | Aft of int | Nev | Alw
val in_interval : int -> Mlpost.Tree_adv.Overlays.interval -> bool
val min_interval : int -> Mlpost.Tree_adv.Overlays.interval -> int
val max_interval : int -> Mlpost.Tree_adv.Overlays.interval -> int
val min_tree :
('a -> Mlpost.Tree_adv.Overlays.interval) ->
'a Mlpost.Tree_adv.t -> int
val max_tree :
('a -> Mlpost.Tree_adv.Overlays.interval) ->
'a Mlpost.Tree_adv.t -> int
type 'a spec = (Mlpost.Tree_adv.Overlays.interval * 'a) list
val assoq : int -> 'a Mlpost.Tree_adv.Overlays.spec -> 'a
val max : ('a -> Mlpost.Num.t) -> ('b * 'a) list -> Mlpost.Num.t
val set_pos :
(Mlpost.Point.t -> 'a -> 'b) ->
Mlpost.Point.t ->
'a Mlpost.Tree_adv.Overlays.spec -> 'b Mlpost.Tree_adv.Overlays.spec
end
module Overlays_Boxlike :
functor (X : Signature.Boxlike) ->
sig
type t = X.t Overlays.spec
val width : t -> Signature.num
val height : t -> Signature.num
val set_pos : Signature.point -> t -> t
end
end