283def aosHasExactly2 =
284 (lambda unrestricted a : Bytes . (lambda unrestricted b : Bytes . (lambda unrestricted value : (family JSON) .
285 (naturalAnd (aosIsObject value) (naturalAnd (naturalEqual (aosObjectSize value) 2)
286 (naturalAnd (aosHas a value) (aosHas b value)))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.