X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/9fdfd04e29fcefdb9120a4d9467827ceaf8dfaa0..8e216a8d5f6b094308594009342e53ef122b8062:/interpretor/symbol.ml?ds=sidebyside diff --git a/interpretor/symbol.ml b/interpretor/symbol.ml index 967a2a6..4d58697 100644 --- a/interpretor/symbol.ml +++ b/interpretor/symbol.ml @@ -60,6 +60,8 @@ let dictionary_of_symbol : symbol -> (int * int) * int * string = |Leq -> ((2, 1), 0, "Leq") |Eq -> ((2, 1), 0, "Eq") |Neq -> ((2, 1), 0, "Neq") + |Shl -> ((2, 1), 0, "shift_left") + |Shr -> ((2, 1), 0, "shift_right") |Max -> ((2, 1), 0, "Max") |Min -> ((2, 1), 0, "Min") |Prefix -> ((2, 1), 0, "Prefix")