using @Milky2018/wasm_milkir/frontend/embedding { type EmbeddingEnvironment }

using @Milky2018/wasm_milkir/frontend/embedding { type MemoryDescriptorLayout }

using @Milky2018/wasm_milkir/frontend/embedding { type RuntimeLayout }

using @Milky2018/wasm_milkir/frontend/ir { type TranslationContext }

pub suberror LowerError {
  FunctionIndexOutOfRange(index~ : Int)
  TypeIndexOutOfRange(index~ : Int)
  NonFunctionType(index~ : Int)
  MissingCode(index~ : Int)
  UnsupportedNativeLowering(index~ : Int, reason~ : String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

fn lower_function(env : 
@Milky2018/wasm_milkir/frontend/embedding.EmbeddingEnvironment
EmbeddingEnvironment, mod_ : 
@Milky2018/wasm_core/types.Module
Module, func_local_idx : Int) -> 
@Milky2018/milkir.Function
Function raise LowerError

fn translate_function(embedding_env : 
@Milky2018/wasm_milkir/frontend/embedding.EmbeddingEnvironment
EmbeddingEnvironment, mod_ : 
@Milky2018/wasm_core/types.Module
Module, func_local_idx : Int, name? : String, memory_max_override? : Int?) -> 
@Milky2018/milkir.Function
Function raise LowerError

fn translate_function_body(ctx : 
@Milky2018/wasm_milkir/frontend/ir.TranslationContext
TranslationContext, name : String, func_type : 
@Milky2018/wasm_core/types.FuncType
FuncType, locals : Array[
@Milky2018/wasm_core/types.ValueType
ValueType], body : Array[
@Milky2018/wasm_core/types.Instruction
Instruction]) -> 
@Milky2018/milkir.Function
Function

fn translation_context_from_module(mod_ : 
@Milky2018/wasm_core/types.Module
Module, embedding_env : 
@Milky2018/wasm_milkir/frontend/embedding.EmbeddingEnvironment
EmbeddingEnvironment, memory_max_override? : Int?, func_base? : Int, import_remap? : Array[Int]) -> 
@Milky2018/wasm_milkir/frontend/ir.TranslationContext
TranslationContext

fn try_lower_native_function(env : 
@Milky2018/wasm_milkir/frontend/embedding.EmbeddingEnvironment
EmbeddingEnvironment, mod_ : 
@Milky2018/wasm_core/types.Module
Module, func_local_idx : Int) -> 
@Milky2018/milkir.Function
Function? raise LowerError

fn wasm_validation_context(ctx : 
@Milky2018/wasm_milkir/frontend/ir.TranslationContext
TranslationContext) -> 
@Milky2018/wasm_milkir.WasmValidationContext
WasmValidationContext