module Overlays:sig
..end
type
interval =
| |
Bet of |
(* |
[|a,b|]
| *) |
| |
Bef of |
(* |
]|-oo,a|]
| *) |
| |
Aft of |
(* |
[|a,+oo|[
| *) |
| |
Nev |
(* |
emptyset
| *) |
| |
Alw |
(* |
N
| *) |
val in_interval : int -> interval -> bool
val min_interval : int -> interval -> int
Nev
and Alw
val max_interval : int -> interval -> int
min_interval
val min_tree : ('a -> interval) -> 'a Tree_adv.t -> int
Nev
and
Alw
val max_tree : ('a -> interval) -> 'a Tree_adv.t -> int
Nev
and
Alw
type'a
spec =(interval * 'a) list
val assoq : int -> 'a spec -> 'a
Not_found
if no element is visibleval max : ('a -> Num.t) -> ('b * 'a) list -> Num.t
'a
, and a
list of objects ('b,'a)
, return the maximal numeric from
that list; intended to be used with width and height functions
for objects and with a 'a spec list
val set_pos : (Point.t -> 'a -> 'b) ->
Point.t ->
'a spec -> 'b spec
'a
, return a
function to move functions of type 'a spec