Mavryk_webassembly_interpreter.Proto_compat
module Compare = Mavryk_stdlib.Compare
module Error_monad = Mavryk_error_monad.TzLwtreslib.Monad