import { type validateDivisor } from "https://deno.land/x/arktype@v1.0.10-alpha/parse/ast/divisor.ts";
definition: isDivisible<inferAst<l, $>> extends true ? validateAst<l, $> : error<writeIndivisibleMessage<astToString<l>>>
x/arktype/parse/ast/divisor.ts>validateDivisor
import { type validateDivisor } from "https://deno.land/x/arktype@v1.0.10-alpha/parse/ast/divisor.ts";