sig
  type token =
      Label of string
    | Name of string
    | Float of float
    | Int of int
    | Eof
    | WHEN
    | EQUAL
    | AND
    | OR
    | NOT
    | IN
    | ARROW
    | INFTY
    | Initial_state
    | Initial_context
    | COMMA
    | LBRACKET
    | LCURLY
    | LPAREN
    | RBRACKET
    | RCURLY
    | RPAREN
    | SEMI
    | SHARP
    | STAR
    | AT
    | Sign of char
  val main :
    (Lexing.lexbuf -> An_parser.token) ->
    Lexing.lexbuf -> AutomataNetwork.t * Ph_types.ctx
  val local_state :
    (Lexing.lexbuf -> An_parser.token) ->
    Lexing.lexbuf -> AutomataNetwork.sig_local_state
  val local_state_list :
    (Lexing.lexbuf -> An_parser.token) ->
    Lexing.lexbuf -> AutomataNetwork.sig_local_state list
  val automata_set :
    (Lexing.lexbuf -> An_parser.token) -> Lexing.lexbuf -> PintTypes.SSet.t
  val goals :
    (Lexing.lexbuf -> An_parser.token) ->
    Lexing.lexbuf -> AutomataNetwork.sig_local_state list list list
end