{-# OPTIONS --safe --without-K #-}

module Wasm.Semantics.Instruction where