func()

in releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go [268:278]

• 11 lines of code
• 6 McCabe index (conditional complexity)

func (_static *CompanionStruct_Default___) IsESDKEncryptionContext(ec _dafny.Map) bool {
	return ((((ec).Cardinality()).Cmp(m_StandardLibrary_UInt.Companion_Default___.UINT16__LIMIT()) < 0) && ((Companion_Default___.Length(ec)).Cmp(Companion_Default___.ESDK__CANONICAL__ENCRYPTION__CONTEXT__MAX__LENGTH()) < 0)) && (_dafny.Quantifier(((_dafny.MultiSetFromSet((ec).Keys())).Union(_dafny.MultiSetFromSet((ec).Values()))).UniqueElements(), true, func(_forall_var_0 _dafny.Sequence) bool {
		var _0_element _dafny.Sequence
		_0_element = interface{}(_forall_var_0).(_dafny.Sequence)
		if m_UTF8.Companion_ValidUTF8Bytes_.Is_(_0_element) {
			return !(((_dafny.MultiSetFromSet((ec).Keys())).Union(_dafny.MultiSetFromSet((ec).Values()))).Contains(_0_element)) || ((m_StandardLibrary_UInt.Companion_Default___.HasUint16Len(_0_element)) && (m_UTF8.Companion_Default___.ValidUTF8Seq(_0_element)))
		} else {
			return true
		}
	}))
}