package mula

  1. Overview
  2. Docs

Parameters

module St : S
module NFA : NFA_t

Signature

module GBV : sig ... end
type nfa_state = {
  1. nfa : NFA.StateSet.t option;
  2. k : int;
  3. str : St.t;
  4. str_len : int;
  5. fed_so_far : int;
}
val start : k:int -> str:St.t -> nfa_state
val feed : nfa_state -> ch:St.ch -> nfa_state
val current_error : nfa_state -> int option
val end_input : nfa_state -> int option
val feed_str : nfa_state -> str:St.t -> nfa_state
val get_distance : k:int -> St.t -> St.t -> int option