Warning: you are using the standard library and/or the %inline keyword. We
recommend switching on --infer in order to avoid obscure type error messages.
%start a
%token J
%token I

%type <int> a
%%

a:
| J
    {let _1 =
  ()
in
}
| I
    {let _1 =
  ()
in
}

%%