import { type Parse } from "https://deno.land/x/lambdapi@v1.0.1/src/deps.ts";
Parse is the type returned by the parse function, which takes an input string cs,
a position pos, and the inherited attributes attr passed to the root of the parser,
and returns the input string, the updated position, and the result of the
parser.