add bytes_pack

This commit is contained in:
Lesenechal Remi 2019-10-31 17:39:07 +01:00
parent 0423a704ec
commit b9d32ddf4e

View File

@ -76,6 +76,7 @@ module Simplify = struct
("string_slice" , "SLICE") ; ("string_slice" , "SLICE") ;
("bytes_concat" , "CONCAT") ; ("bytes_concat" , "CONCAT") ;
("bytes_slice" , "SLICE") ; ("bytes_slice" , "SLICE") ;
("bytes_pack" , "PACK") ;
("set_empty" , "SET_EMPTY") ; ("set_empty" , "SET_EMPTY") ;
("set_mem" , "SET_MEM") ; ("set_mem" , "SET_MEM") ;
("set_add" , "SET_ADD") ; ("set_add" , "SET_ADD") ;