122 const Formula *parse(Arena &A, llvm::StringRef &In) {  in parse()  argument
123   auto EatSpaces = [&] { In = In.ltrim(' '); };  in parse()
126   if (In.consume_front("!")) {  in parse()
127     if (auto *Arg = parse(A, In))  in parse()
132   if (In.consume_front("(")) {  in parse()
133     auto *Arg1 = parse(A, In);  in parse()
139     if (In.consume_front("|"))  in parse()
141     else if (In.consume_front("&"))  in parse()
143     else if (In.consume_front("=>"))  in parse()
145     else if (In.consume_front("="))  in parse()
150     auto *Arg2 = parse(A, In);  in parse()
155     if (!In.consume_front(")"))  in parse()
163   if (In.consume_front("V")) {  in parse()
165     if (In.consumeInteger(10, At))  in parse()
170   if (In.consume_front("true"))  in parse()
172   if (In.consume_front("false"))  in parse()
202 llvm::Expected<const Formula &> Arena::parseFormula(llvm::StringRef In) {  in parseFormula()  argument
203   llvm::StringRef Rest = In;  in parseFormula()
206     return llvm::make_error<FormulaParseError>(In, In.size() - Rest.size());  in parseFormula()
209     return llvm::make_error<FormulaParseError>(In, In.size() - Rest.size());  in parseFormula()