an object with exactly these member names (no duplicates exist after the
strict parse, so the count and the presence of each decide it)
280def aosHasExactly1 =
281 (lambda unrestricted a : Bytes . (lambda unrestricted value : (family JSON) .
282 (naturalAnd (aosIsObject value) (naturalAnd (naturalEqual (aosObjectSize value) 1) (aosHas a 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.