module State: Print.PRINTABLE_TYPE with type t = Automaton.Location.t * Semantics.Region.t
Print.PRINTABLE_TYPE
with type t = Automaton.Location.t * Semantics.Region.t