open Chadprover.To_string
open Chadprover.Lexing.Lexer

let _ =
  let tokens = lex "a|b   c && d    i love sushi&!!!" in
  let s = string_of_tokens tokens in
  print_endline s