Add operators for conditions
Clarification and motivation
Currently, it is possible to write if #a <. #b then ... else ...
in Lorentz, and this functionality is used e.g. by baseDAO.
But we can go further (and there is a use case for that), and add &&
, not
and other operators: if #a <. #b and not #c
(all arguments are picked from the stack in the order in which they are mentioned).
Acceptance criteria
- All operators supported by Michelson are added.
- Try to add a constant number of constructors to
Lorentz.Rebinded
module to make it possible to extend operators in other projects.
Edited by Konstantin Ivanov