Feature/infix in operator - Githubissues

acsl-language / acsl

Sources for the ANSI/ISO C Specification Language manual

Other

49 stars 8 forks source link

Feature/infix in operator #27

Closed vprevosto closed 6 years ago

vprevosto commented 6 years ago

Add an explicit set membership operator.

Remaining tasks:

[x] brief indication of its semantics
[x] Propose an unicode equivalent symbol (∈ a.k.a U+2208 element of)?