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)

pub(all) struct EmbeddingEnvironment {
  runtime_symbol_prefix : String
  hidden_context_type : 
@Milky2018/milkir.Type
Type?
  runtime_layout : RuntimeLayout?
  memory_descriptor_layout : MemoryDescriptorLayout?
  wasm_runtime_symbols : 
@Milky2018/wasm_milkir.RuntimeSymbols
RuntimeSymbols
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct MemoryDescriptorLayout {
  base_offset : Int
  current_length_offset : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct RuntimeLayout {
  memory0_base_offset : Int
  memory0_size_offset : Int
  func_table_offset : Int
  table0_base_offset : Int
  table0_elements_offset : Int
  globals_offset : Int
  tables_offset : Int
  table_sizes_offset : Int
  memories_offset : Int
  pointer_stride : Int
  global_value_stride : Int
  table_entry_value_offset : Int
  table_entry_stride : Int
  func_table_entry_stride : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

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

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