let check x = function
| Some x -> print_endline ("Some " ^ x ^ " in code!")
| _ -> ()
EXTEND Gram
GLOBAL: expr;
expr: [ [ "Check"; "."; x = SELF => check x ] ];
END
(* Code to preprocess *)
let a = Some "string"
Check.a
Add a code snippet to your website: www.paste.org