AstraVer Toolset » Дополнительные материалы к монографии

Сейчас так:

@invariant
def SubjectAccessesType() -> bool:
   return all(map(lambda s: s in SubjectAccesses and all(map(lambda j: j[0] in Entities and type(j[1]) is Accesses, SubjectAccesses[s])), Subjects))

Нужно поправить так:

@invariant
def SubjectAccessesType() -> bool:
    return all(map(lambda s: s in Subjects and
                   all(map(lambda j: j[0] in Entities and type(j[1]) is Accesses, SubjectAccesses[s])),
                   SubjectAccesses))