import { type validateExpression } from "https://deno.land/x/arktype@v1.0.10-alpha/parse/ast/ast.ts";
Type Parameters
ast extends List
definition: ast extends PostfixExpression<infer operator, infer operand> ? operator extends "[]" ? validateAst<operand, $> : never : ast extends InfixExpression<infer operator, infer l, infer r> ? operator extends "&" ? tryCatch<inferIntersection<inferAst<l, $>, inferAst<r, $>>, validateInfix<ast, $>> : operator extends "|" ? tryCatch<inferUnion<inferAst<l, $>, inferAst<r, $>>, validateInfix<ast, $>> : operator extends Scanner.Comparator ? validateBound<l, r, $> : operator extends "%" ? validateDivisor<l, $> : never : undefined