sig
  type prefix = Bitpath.t
  type 'a t
  val empty : 'a Bitpath_cover_map.Poly.t
  val is_empty : 'a Bitpath_cover_map.Poly.t -> bool
  val const : 'a -> 'a Bitpath_cover_map.Poly.t
  val is_const : 'a Bitpath_cover_map.Poly.t -> bool
  val to_const : 'a Bitpath_cover_map.Poly.t -> 'a
  val picki_first :
    'a Bitpath_cover_map.Poly.t -> Bitpath_cover_map.Poly.prefix * 'a
  val picki_random :
    'a Bitpath_cover_map.Poly.t -> Bitpath_cover_map.Poly.prefix * 'a
  val lower_half : 'a Bitpath_cover_map.Poly.t -> 'a Bitpath_cover_map.Poly.t
  val upper_half : 'a Bitpath_cover_map.Poly.t -> 'a Bitpath_cover_map.Poly.t
  val unzoom :
    Bitpath_cover_map.Poly.prefix ->
    'a Bitpath_cover_map.Poly.t -> 'a Bitpath_cover_map.Poly.t
  val zoom :
    Bitpath_cover_map.Poly.prefix ->
    'a Bitpath_cover_map.Poly.t -> 'a Bitpath_cover_map.Poly.t
  val cover_find :
    Bitpath_cover_map.Poly.prefix ->
    'a Bitpath_cover_map.Poly.t -> Bitpath_cover_map.Poly.prefix
  val remove :
    Bitpath_cover_map.Poly.prefix ->
    'a Bitpath_cover_map.Poly.t -> 'a Bitpath_cover_map.Poly.t
  val intersect :
    Bitpath_cover_map.Poly.prefix ->
    'a Bitpath_cover_map.Poly.t -> 'a Bitpath_cover_map.Poly.t
  val cover_card : 'a Bitpath_cover_map.Poly.t -> int
  val fold : ('a -> 'b -> 'b) -> 'a Bitpath_cover_map.Poly.t -> 'b -> 'b
  val foldi :
    (Bitpath_cover_map.Poly.prefix -> 'a -> 'b -> 'b) ->
    'a Bitpath_cover_map.Poly.t -> 'b -> 'b
  val iter : ('a -> unit) -> 'a Bitpath_cover_map.Poly.t -> unit
  val iteri :
    (Bitpath_cover_map.Poly.prefix -> 'a -> unit) ->
    'a Bitpath_cover_map.Poly.t -> unit
end