$use "Lexer.Lexer";
$use "Stream.Stream";

Read_Expr expr =
  <Expr_Open <ToChars expr>> :: stream,
  $iter e.res <IsRead_Term stream> :: e.res,
  <IsEnd_of_Stream stream> =
  e.res;