def disjoint

bend-schema-lib@0.4.1.0 · core.bend:611

import bend-schema-lib@0.4.1.0/core.bend as Core

import Base

611def disjoint(+l: Schema, +r: Schema) -> Bool:
612  Bool.and(apart(l, r, KNum{}), Bool.and(apart(l, r, KStr{}), Bool.and(apart(l, r, KBool{}), Bool.and(apart(l, r, KList{}), Bool.and(apart(l, r, KObj{}), Bool.and(apart(l, r, KNull{}), Bool.and(apart(l, r, KAbsent{}), Bool.and(apart(l, r, KJson{}), apart(l, r, KOther{})))))))))

Uses (5)

Used by (1)

bend-schema-lib@0.4.1.0/core:wf