sig
  type token =
      Name of string
    | Float of float
    | Int of int
    | New
    | Art
    | At
    | Eof
    | Initial_state
    | Initial_context
    | Directive
    | Option
    | Sample
    | Stoch_abs
    | Absorb
    | Default_rate
    | Within
    | AND
    | OR
    | NOT
    | IN
    | ARROW
    | INFTY
    | COMMA
    | LBRACKET
    | LCURLY
    | LPAREN
    | RBRACKET
    | RCURLY
    | RPAREN
    | SEMI
    | SHARP
    | STAR
    | Sign of char
  val main :
    (Lexing.lexbuf -> Ph_parser.token) ->
    Lexing.lexbuf -> Ph_types.ph * Ph_types.ctx
  val process :
    (Lexing.lexbuf -> Ph_parser.token) -> Lexing.lexbuf -> Ph_types.process
  val processlist :
    (Lexing.lexbuf -> Ph_parser.token) ->
    Lexing.lexbuf -> Ph_types.process list
  val interaction_graph :
    (Lexing.lexbuf -> Ph_parser.token) ->
    Lexing.lexbuf -> InteractionGraph.regulation_t list
end