{-# OPTIONS --guardedness #-}

module Everything where

-- Helper / data structure stuff
import Wasm.Lists
import Wasm.Numbers
import Wasm.Equality
import Wasm.Show

-- Intrinsically typed representation
import Wasm.Types
import Wasm.Configuration
import Wasm.Instructions

-- Reduction and evaluation
import Wasm.Reduction
import Wasm.Progress

-- Untyped representation & conversion
import Wasm.Untyped
import Wasm.Validation

-- Scripts used by validation suite
import Wasm.Scripts

import Main