sig
  type char_
  type string_
  val edit_distance :
    CCLevenshtein.S.string_ -> CCLevenshtein.S.string_ -> int
  type automaton
  val of_string :
    limit:int -> CCLevenshtein.S.string_ -> CCLevenshtein.S.automaton
  val of_list :
    limit:int -> CCLevenshtein.S.char_ list -> CCLevenshtein.S.automaton
  val debug_print :
    (Pervasives.out_channel -> CCLevenshtein.S.char_ -> unit) ->
    Pervasives.out_channel -> CCLevenshtein.S.automaton -> unit
  val match_with :
    CCLevenshtein.S.automaton -> CCLevenshtein.S.string_ -> bool
  module Index :
    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
end