Module Model.S.State


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