let infix op = 
  try
    get_infix (snd builtin_env.(op))
  with Not_found -> false