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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct