sig type key = int64 type t = brange val merge : t -> t -> t option val split : key -> t -> t * t end