import { type Interpreter } from "https://deno.land/x/lambdapi@v1.0.1/src/repl.ts";
definition: { iname: string; iprompt: string; iitype: () => T; iquote: (_: V) => C; ieval: (_1: NameEnv<V>, _2: I) => V; ihastype: (_: T) => Inf; icprint: (_: C) => string; itprint: (_: T) => string; iiparse: Parser<string[], I>; isparse: Parser<string[], Statement<I, TInf>>; iassume: (_1: State<V, Inf>, _: { name: string; info: TInf; }) => State<V, Inf>; }