Primes.Aut
type s = S.t
type t
module State : sig ... end
val mk : s Base.list -> s Base.list Automata.Char.map -> s Base.list -> t
val outs : t -> Automata.Word.t -> s
val to_string : t -> Base.string
val stats : t -> Automata__WFA.stats
val stats_to_string : t -> Base.string