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