Sha256: 611c17071d334835835e8fcd92d13f4e896337915daf3ad8d345a682c52aa5fd
Contents?: true
Size: 215 Bytes
Versions: 7
Compression:
Stored size: 215 Bytes
Contents
(*
Return set of tags from state variable 'v_tags' matching identity'.
Notice: model invariant guarantees that 'identity' is unique.
*)
GetTagtByIdentity( identity ) == { t \in v_tags: t.tag = identity }
Version data entries
7 entries across 7 versions & 1 rubygems