sig
  type token =
      SEP
    | EOF
    | NULLARY_RULE of string
    | UNARY_RULE of string
    | BINARY_RULE of string
    | TRINARY_RULE of string
    | FML of string
  val main :
    (Stdlib.Lexing.lexbuf -> PRF_parser.token) ->
    Stdlib.Lexing.lexbuf -> PRF_types.t_prf_raw
end