Module `Lang.Debug`

Debug language: a fixed 3-state tropical WFA used for manual testing.

module S : sig ... end

module Matrix : sig ... end

module Aut : sig ... end

val alpha : (Automata.Char.t, Automata.Char.comparator_witness) Base.Set.t

val bound : int

val aut : Aut.t

val out : Automata.Word.t -> Aut.s