Module An_parser

module An_parser: sig .. end

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 -> token) ->
       Lexing.lexbuf -> AutomataNetwork.t * Ph_types.ctx

val local_state : (Lexing.lexbuf -> token) ->
       Lexing.lexbuf -> AutomataNetwork.sig_local_state

val local_state_list : (Lexing.lexbuf -> token) ->
       Lexing.lexbuf -> AutomataNetwork.sig_local_state list

val automata_set : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> PintTypes.SSet.t

val goals : (Lexing.lexbuf -> token) ->
       Lexing.lexbuf -> AutomataNetwork.sig_local_state list list list