Type alias $IsDistributive<$Options, $O>
$IsDistributive<$Options, $O>: $ResolveOptions<[$Options["distributive"], $DistributiveDefault["distributive"]]> extends true ? "$then" extends keyof $O ? $O["$then"] : true : "$else" extends keyof $O ? $O["$else"] : false