import { refinement } from "https://deno.land/x/fun@v2.0.0-alpha.12/mod.ts";
const { intersect } = refinement;
Intersect is an alias of and.
Type Parameters
I extends B
Parameters
gi: Refinement<B, I>
Returns
<A extends B>(ga: Refinement<B, A>) => Refinement<B, A & I>