Binsec_codex_lib.Interval2symbol
type 'a t
val empty : 'a t
val insert : merge:(old:'a -> 'a -> 'a) -> int -> 'a -> 'a t -> 'a t
val find : int -> 'a t -> 'a