type alias SubOfimport { type SubOf } from "https://deno.land/x/rimbu@0.12.3/core/mod.ts"; Accepts all types of T and S where S extends T, and results in the lower bound S. Type ParametersSTdefinition: S extends T ? S : never