sig val rules : Lexing.lexbuf -> (string * string) list option end