sig
  type 'b t
  val empty : 'b CCLevenshtein.S.Index.t
  val is_empty : 'a CCLevenshtein.S.Index.t -> bool
  val add :
    'b CCLevenshtein.S.Index.t ->
    CCLevenshtein.S.string_ -> 'b -> 'b CCLevenshtein.S.Index.t
  val cardinal : 'a CCLevenshtein.S.Index.t -> int
  val remove :
    'b CCLevenshtein.S.Index.t ->
    CCLevenshtein.S.string_ -> 'b CCLevenshtein.S.Index.t
  val retrieve :
    limit:int ->
    'b CCLevenshtein.S.Index.t ->
    CCLevenshtein.S.string_ -> 'b CCLevenshtein.klist
  val of_list :
    (CCLevenshtein.S.string_ * 'b) list -> 'b CCLevenshtein.S.Index.t
  val to_list :
    'b CCLevenshtein.S.Index.t -> (CCLevenshtein.S.string_ * 'b) list
  val add_seq :
    'a CCLevenshtein.S.Index.t ->
    (CCLevenshtein.S.string_ * 'a) CCLevenshtein.sequence ->
    'a CCLevenshtein.S.Index.t
  val of_seq :
    (CCLevenshtein.S.string_ * 'a) CCLevenshtein.sequence ->
    'a CCLevenshtein.S.Index.t
  val to_seq :
    'a CCLevenshtein.S.Index.t ->
    (CCLevenshtein.S.string_ * 'a) CCLevenshtein.sequence
  val add_gen :
    'a CCLevenshtein.S.Index.t ->
    (CCLevenshtein.S.string_ * 'a) CCLevenshtein.gen ->
    'a CCLevenshtein.S.Index.t
  val of_gen :
    (CCLevenshtein.S.string_ * 'a) CCLevenshtein.gen ->
    'a CCLevenshtein.S.Index.t
  val to_gen :
    'a CCLevenshtein.S.Index.t ->
    (CCLevenshtein.S.string_ * 'a) CCLevenshtein.gen
  val fold :
    ('a -> CCLevenshtein.S.string_ -> 'b -> 'a) ->
    'a -> 'b CCLevenshtein.S.Index.t -> 'a
  val iter :
    (CCLevenshtein.S.string_ -> 'b -> unit) ->
    'b CCLevenshtein.S.Index.t -> unit
  val to_klist :
    'b CCLevenshtein.S.Index.t ->
    (CCLevenshtein.S.string_ * 'b) CCLevenshtein.klist
end