Add distinct keyword

[kevaundray]

Problem

Original issue for this is: #1183

Happy Case

We want to add this into the new SSA code

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[ludamad]

Just curious, why a keyword and not an ABI passed when running Noir? Will non-main functions use this keyword?

[kevaundray]

why a keyword and not an ABI passed when running Noir?

What would that look like ser?

Will non-main functions use this keyword?

Good question, this will only have effect on the entry point function(s) -- I use plural here because contracts have multiple entry point functions

[kevaundray]

Closing as the distinct keyword has been merged