import { hasDomain } from "https://deno.land/x/arktype@v1.0.10-alpha/utils/domains.ts";
type
<data, domain extends Domain>(data: data, domain: domain) => data is data & inferDomain<domain>
domains.ts
T
T
v
T
T
T
T
T
v
v
generics.ts
T
T
v
T
T
T
T
T
T
T
T
T
T
T
T
T
v
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
v
T
v
T
T
T
T
T
T
T
T
T
T
T
T
T
T
v
v
v
v
v
v
v
v
v
numericLiterals.ts
T
T
T
T
v
T
v
T
v
v
v
v
v
v
objectKinds.ts
T
T
T
T
T
T
T
v
T
v
v
v
v
v