Type Alias IsDisjoint<A, B>

IsDisjoint<A, B>: And<Not<HasKey<A, keyof B>>, Not<HasKey<B, keyof A>>>

Are the two records disjoint from each other. Disjoint means no common property.

Type Parameters