import { type ToOut } from "https://deno.land/x/fun@v.2.0.0-alpha.11/refinement.ts";
The ToOut type takes a Refinement type and returns the type of its output refinement.
definition: T extends Refinement<infer _, infer A> ? A : never
import { type ToOut } from "https://deno.land/x/fun@v.2.0.0-alpha.11/refinement.ts";
The ToOut type takes a Refinement type and returns the type of its output refinement.