import { type validateBound } from "https://deno.land/x/arktype@v1.0.10-alpha/parse/ast/bound.ts";
definition: l extends NumberLiteral ? validateAst<r, $> : isBoundable<inferAst<l, $>> extends true ? validateAst<l, $> : error<writeUnboundableMessage<astToString<l>>>