sig val token : Stdlib.Lexing.lexbuf -> PRF_parser.token end