Open
Description
🚀 Feature Request
Allow for unary negation operator in move spec language, thus enabling expressions like: let x : num = -1;
Motivation
Signed integers exist in MSL via the num type. But there is no unary negative operator. Instead, to assign a negative to a num, one must do something like let x : num = 0-1;
Metadata
Metadata
Assignees
Labels
Type
Projects
Status
🆕 New