Previous  Up  Next

Module PRF_parser

module PRF_parser: sig .. end

Parser for mapping objects of type PRF_sequencer.t_prf_seq to objects of type PRF_types.t_prf_raw. Generated from PRF_parser.mly with ocamlyacc.

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 -> token) ->
       Stdlib.Lexing.lexbuf -> PRF_types.t_prf_raw