let parse (s: string) : op option =
  try Some (op token (Lexing.from_string s)) with _ -> None