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