🥮 mooncakes.io

    jtenner/starshine/validate does not have a README file

    TcResult

    source
    type TcResult = Result[TcState, String]

    DeclMatch

    source
    pub trait DeclMatch {
      fn matches_decl(Self, Self, Env) -> Bool
    }

    Match

    source
    pub trait Match {
      fn matches(Self, Self, Env) -> Bool
    }

    impl Match for CompType
    impl Match for DefType
    impl Match for ExternType
    impl Match for FieldType
    impl Match for GlobalType
    impl Match for HeapType
    impl Match for Limits
    impl Match for MemType
    impl Match for RefType
    impl Match for TableType
    impl Match for TagType
    impl Match for ValType
    impl Match for Array[T]

    Typecheck

    source
    pub trait Typecheck {
      fn typecheck(Self, TcState) -> Result[TcState, String]
    }

    impl Typecheck for Expr

    Validate

    source
    pub trait Validate {
      fn validate(Self, Env) -> Result[Unit, String]
    }

    impl Validate for Catch
    impl Validate for Data
    impl Validate for DefType
    impl Validate for Elem
    impl Validate for Export
    impl Validate for FuncIdx
    impl Validate for Import
    impl Validate for MemIdx
    impl Validate for MemType
    impl Validate for NumType
    impl Validate for RecType
    impl Validate for RefType
    impl Validate for SubType
    impl Validate for TagIdx
    impl Validate for TagSec
    impl Validate for TagType
    impl Validate for TypeIdx
    impl Validate for ValType
    impl Validate for Array[T]

    ValidateMax

    source
    pub trait ValidateMax {
      fn validate_max(Self, Env, UInt64) -> Result[Unit, String]
    }

    ValidationError

    source
    pub suberror ValidationError {
      Validation(ValidationDiagnostic)
    } derive(Eq, 
    Debug    )

    Env

    source
    pub(all) struct Env {
      global_types : Array[
    SubType    ]
      rec_stack : Array[Array[
    SubType    ]]
      funcs : Array[
    FuncType    ]
      func_type_idxs : Array[
    TypeIdx    ?]
      tables : Array[
    TableType    ]
      mems : Array[
    MemType    ]
      globals : Array[
    GlobalType    ]
      elems : Array[
    Elem    ]
      datas : Array[
    Data    ]
      tags : Array[
    TagType    ]
      locals : 
    Locals
      labels : LabelStack
      return_type : Array[
    ValType    ]?
      legacy_catch_depth : Int
      infer_exact_references : Bool
    } derive(Hash, 
    Debug    )

    impl Show for Env

    Env::append_rectype_types

    source
    fn Env::append_rectype_types(env : Env, rt : 
    RecType    ) -> Env

    Env::descriptor_result_type

    source
    fn Env::descriptor_result_type(env : Env, inspected : 
    TypeIdx    , operand : 
    RefType    ?) -> Result[
    ValType    , String]

    Env::expand_blocktype

    source

    Env::get_catch_label_types

    source

    Env::get_elem

    source

    Env::get_functype_by_funcidx

    source

    Env::get_functypeidx_by_funcidx

    source

    Env::get_global_type

    source

    Env::get_label

    source

    Env::get_label_types

    source

    Env::get_local_type

    source

    Env::get_memtype

    source

    Env::get_table_type

    source

    Env::get_tag

    source

    Env::has_data

    source
    fn Env::has_data(env : Env, idx : 
    DataIdx    ) -> Bool

    Env::has_func

    source
    fn Env::has_func(env : Env, idx : 
    FuncIdx    ) -> Bool

    Env::legacy_rethrow_catch_ordinal

    source
    fn Env::legacy_rethrow_catch_ordinal(env : Env, raw_depth : UInt) -> Int?

    Env::new

    source
    fn Env::new() -> Env

    Env::push_data

    source
    fn Env::push_data(env : Env, d : 
    Data    ) -> Env

    Env::push_elem

    source
    fn Env::push_elem(env : Env, e : 
    Elem    ) -> Env

    Env::push_func

    source
    fn Env::push_func(env : Env, ft : 
    FuncType    ) -> Env

    Env::push_func_with_typeidx

    source
    fn Env::push_func_with_typeidx(env : Env, ft : 
    FuncType    , type_idx : 
    TypeIdx    ?) -> Env

    Env::push_global

    source
    fn Env::push_global(env : Env, gt : 
    GlobalType    ) -> Env

    Env::push_mem

    source
    fn Env::push_mem(env : Env, mt : 
    MemType    ) -> Env

    Env::push_table

    source
    fn Env::push_table(env : Env, tt : 
    TableType    ) -> Env

    Env::push_tag

    source
    fn Env::push_tag(env : Env, t : 
    TagType    ) -> Env

    Env::resolve_array_field

    source
    fn Env::resolve_array_field(env : Env, x : 
    TypeIdx    ) -> Result[
    FieldType    , String]

    Env::resolve_comptype

    source

    Env::resolve_cont_functype

    source

    Env::resolve_descriptor_target_ref_type

    source
    fn Env::resolve_descriptor_target_ref_type(env : Env, nullable : Bool, ht : 
    HeapType    ) -> Result[
    RefType    , String]

    Env::resolve_functype

    source

    Env::resolve_heaptype_subtype

    source

    Env::resolve_struct_descriptor_type

    source
    fn Env::resolve_struct_descriptor_type(env : Env, x : 
    TypeIdx    ) -> Result[
    TypeIdx    ?, String]

    Env::resolve_struct_fields

    source
    fn Env::resolve_struct_fields(env : Env, x : 
    TypeIdx    ) -> Result[Array[
    FieldType    ], String]

    Env::resolve_struct_subtype

    source
    fn Env::resolve_struct_subtype(env : Env, x : 
    TypeIdx    ) -> Result[
    SubType    , String]

    Env::resolve_subtype

    source

    Env::resolve_tag_functype

    source

    Env::resolve_typeidx_subtype

    source

    Env::with_datas

    source
    fn Env::with_datas(env : Env, datas : Array[
    Data    ]) -> Env

    Env::with_elems

    source
    fn Env::with_elems(env : Env, elems : Array[
    Elem    ]) -> Env

    Env::with_exact_reference_inference

    source
    fn Env::with_exact_reference_inference(env : Env, enabled : Bool) -> Env

    Limit inferred constructor types to the target proposal set. Explicit exact types and casts retain their declared semantics.

    Env::with_funcs

    source
    fn Env::with_funcs(env : Env, funcs : Array[
    FuncType    ]) -> Env

    Env::with_funcs_and_type_idxs

    source
    fn Env::with_funcs_and_type_idxs(env : Env, funcs : Array[
    FuncType    ], func_type_idxs : Array[
    TypeIdx    ?]) -> Env

    Env::with_globals

    source
    fn Env::with_globals(env : Env, globals : Array[
    GlobalType    ]) -> Env

    Env::with_label

    source
    fn Env::with_label(env : Env, ts : Array[
    ValType    ]) -> Env

    Env::with_labels

    source
    fn Env::with_labels(env : Env, labels : Array[Array[
    ValType    ]]) -> Env

    Env::with_legacy_catch_depth

    source
    fn Env::with_legacy_catch_depth(env : Env, depth : Int) -> Env

    Env::with_locals

    source
    fn Env::with_locals(env : Env, locals : 
    Locals    ) -> Env

    Env::with_mems

    source
    fn Env::with_mems(env : Env, mems : Array[
    MemType    ]) -> Env

    Env::with_module

    source
    fn Env::with_module(self : Env, m : 
    Module    ) -> Env

    Build a validation environment by layering imported definitions plus module-local declarations on top of the existing environment snapshot, then normalizing elem/data payloads from the current module.

    Env::with_rectype

    source
    fn Env::with_rectype(env : Env, rt : 
    RecType    ) -> Env

    Env::with_return_type

    source
    fn Env::with_return_type(env : Env, rt : Array[
    ValType    ]?) -> Env

    Env::with_tables

    source
    fn Env::with_tables(env : Env, tables : Array[
    TableType    ]) -> Env

    Env::with_tags

    source
    fn Env::with_tags(env : Env, tags : Array[
    TagType    ]) -> Env

    Env::with_types

    source
    fn Env::with_types(env : Env, global_types : Array[
    SubType    ]) -> Env

    GenInvalidAstGenerated

    source
    pub struct GenInvalidAstGenerated {
      base_module : 
    Module
      mutation : ValidateInvalidAstMutation
    } derive(
    Debug    )

    GenInvalidAstParams

    source
    pub struct GenInvalidAstParams {
      strategy : ValidateInvalidAstStrategyId
      seed_mode : GenInvalidSeedMode
      seed_profile : GenInvalidNamedSeedProfile?
      generator_config : GenValidConfig
      require_strategy_prereqs : Bool
    } derive(Eq, 
    Debug    )

    GenInvalidAstParams::coverage_forced_seed

    source
    fn GenInvalidAstParams::coverage_forced_seed(strategy : ValidateInvalidAstStrategyId, generator_config? : GenValidConfig, require_strategy_prereqs? : Bool) -> GenInvalidAstParams

    GenInvalidAstParams::minimal_seed

    source
    fn GenInvalidAstParams::minimal_seed(strategy : ValidateInvalidAstStrategyId, generator_config? : GenValidConfig, require_strategy_prereqs? : Bool) -> GenInvalidAstParams

    GenInvalidAstParams::natural_seed

    source
    fn GenInvalidAstParams::natural_seed(strategy : ValidateInvalidAstStrategyId, generator_config? : GenValidConfig, require_strategy_prereqs? : Bool) -> GenInvalidAstParams

    GenInvalidAstParams::new

    source
    fn GenInvalidAstParams::new(strategy : ValidateInvalidAstStrategyId, seed_mode? : GenInvalidSeedMode, generator_config? : GenValidConfig, require_strategy_prereqs? : Bool) -> GenInvalidAstParams

    GenInvalidAstParams::repro_seed

    source
    fn GenInvalidAstParams::repro_seed(strategy : ValidateInvalidAstStrategyId, generator_config? : GenValidConfig, require_strategy_prereqs? : Bool) -> GenInvalidAstParams

    GenInvalidAstParams::rich_seed

    source
    fn GenInvalidAstParams::rich_seed(strategy : ValidateInvalidAstStrategyId, generator_config? : GenValidConfig, require_strategy_prereqs? : Bool) -> GenInvalidAstParams

    GenInvalidAstParams::small_coverage_forced_seed

    source
    fn GenInvalidAstParams::small_coverage_forced_seed(strategy : ValidateInvalidAstStrategyId, generator_config? : GenValidConfig, require_strategy_prereqs? : Bool) -> GenInvalidAstParams

    GenInvalidAstParams::small_natural_seed

    source
    fn GenInvalidAstParams::small_natural_seed(strategy : ValidateInvalidAstStrategyId, generator_config? : GenValidConfig, require_strategy_prereqs? : Bool) -> GenInvalidAstParams

    GenInvalidNamedSeedProfile

    source
    pub enum GenInvalidNamedSeedProfile {
      NaturalSeedProfile
      CoverageForcedSeedProfile
      SmallNaturalSeedProfile
      SmallCoverageForcedSeedProfile
      ReproSeedProfile
      MinimalSeedProfile
      RichSeedProfile
    } derive(Eq, 
    Debug    )

    GenInvalidSeedMode

    source
    pub enum GenInvalidSeedMode {
      RandomValidSeed
      MinimalValidSeed
    } derive(Eq, 
    Debug    )

    GenValidBudgetStop

    source
    pub enum GenValidBudgetStop {
      InstructionCountBudgetExceeded
      ExpressionDepthBudgetExceeded
      ModuleByteSizeBudgetExceeded
      RecGroupSizeBudgetExceeded
      SectionCountBudgetExceeded
      SegmentPayloadSizeBudgetExceeded
    } derive(Eq, 
    Debug    )

    GenValidConfig

    source
    pub struct GenValidConfig {
      mode : GenValidMode
      max_type_defs : Int
      max_imports : Int
      max_defined_funcs : Int
      max_tables : Int
      max_mems : Int
      max_globals : Int
      max_tags : Int
      max_elems : Int
      max_datas : Int
      max_params : Int
      max_results : Int
      max_locals : Int
      max_body_statements : Int
      max_body_depth : Int
      max_instruction_count_budget : Int?
      max_expression_depth_budget : Int?
      max_module_byte_size_budget : Int?
      max_rec_group_size_budget : Int?
      max_section_count_budget : Int?
      max_name_length : Int
      max_segment_payload_size : Int
      section_bias : GenValidSectionBias
      features : GenValidFeatureToggles
    } derive(Eq, 
    Debug    )

    GenValidConfig::binaryen_oracle_coverage_forced_default

    source
    fn GenValidConfig::binaryen_oracle_coverage_forced_default() -> GenValidConfig

    GenValidConfig::coverage_forced_default

    source
    fn GenValidConfig::coverage_forced_default() -> GenValidConfig

    GenValidConfig::for_profile

    source
    fn GenValidConfig::for_profile(profile : GenValidProfile) -> GenValidConfig

    GenValidConfig::natural_default

    source
    fn GenValidConfig::natural_default() -> GenValidConfig

    GenValidConfig::portable_coverage_forced_default

    source
    fn GenValidConfig::portable_coverage_forced_default() -> GenValidConfig

    GenValidConfig::profile

    source
    fn GenValidConfig::profile(name : String) -> Result[GenValidConfig, String]

    GenValidConfig::wat_text_roundtrip_default

    source
    fn GenValidConfig::wat_text_roundtrip_default() -> GenValidConfig

    GenValidConstExprAllowedOps

    source
    pub struct GenValidConstExprAllowedOps {
      context : GenValidConstExprUse
      allowed_ops : Array[GenValidConstExprOpFamily]
    } derive(Eq, 
    Debug    )

    GenValidConstExprObservedOps

    source
    pub struct GenValidConstExprObservedOps {
      context : GenValidConstExprUse
      observed_ops : Array[GenValidConstExprOpFamily]
    } derive(Eq, 
    Debug    )

    GenValidConstExprOpFamily

    source
    pub enum GenValidConstExprOpFamily {
      NumericConstExprOp
      RefNullConstExprOp
      RefFuncConstExprOp
      ImportedImmutableGlobalGetConstExprOp
      I31RefConstExprOp
      GcConstructorConstExprOp
    } derive(Eq, 
    Debug    )

    GenValidConstExprUse

    source
    pub enum GenValidConstExprUse {
      GlobalInitializerConstExpr
      DataOffsetConstExpr
      ElementOffsetConstExpr
      ElementPayloadConstExpr
      TableInitializerConstExpr
    } derive(Eq, 
    Debug    )

    GenValidContext

    source
    type GenValidContext

    GenValidExactOpcodeCounts

    source
    pub struct GenValidExactOpcodeCounts {
      i32_const : Int
      i64_const : Int
      f32_const : Int
      f64_const : Int
      i32_eqz : Int
      i64_eqz : Int
      i32_eq : Int
      i32_ne : Int
      i32_lt_s : Int
      i32_lt_u : Int
      i32_gt_s : Int
      i32_gt_u : Int
      i32_le_s : Int
      i32_le_u : Int
      i32_ge_s : Int
      i32_ge_u : Int
      i64_eq : Int
      i64_ne : Int
      i64_lt_s : Int
      i64_lt_u : Int
      i64_gt_s : Int
      i64_gt_u : Int
      i64_le_s : Int
      i64_le_u : Int
      i64_ge_s : Int
      i64_ge_u : Int
      f32_eq : Int
      f32_ne : Int
      f32_lt : Int
      f32_gt : Int
      f32_le : Int
      f32_ge : Int
      f64_eq : Int
      f64_ne : Int
      f64_lt : Int
      f64_gt : Int
      f64_le : Int
      f64_ge : Int
      i32_clz : Int
      i32_ctz : Int
      i32_popcnt : Int
      i32_add : Int
      i32_sub : Int
      i32_mul : Int
      i32_div_s : Int
      i32_div_u : Int
      i32_rem_s : Int
      i32_rem_u : Int
      i32_and : Int
      i32_or : Int
      i32_xor : Int
      i32_shl : Int
      i32_shr_s : Int
      i32_shr_u : Int
      i32_rotl : Int
      i32_rotr : Int
      i64_clz : Int
      i64_ctz : Int
      i64_popcnt : Int
      i64_add : Int
      i64_sub : Int
      i64_mul : Int
      i64_div_s : Int
      i64_div_u : Int
      i64_rem_s : Int
      i64_rem_u : Int
      i64_and : Int
      i64_or : Int
      i64_xor : Int
      i64_shl : Int
      i64_shr_s : Int
      i64_shr_u : Int
      i64_rotl : Int
      i64_rotr : Int
      f32_abs : Int
      f32_neg : Int
      f32_ceil : Int
      f32_floor : Int
      f32_trunc : Int
      f32_nearest : Int
      f32_sqrt : Int
      f32_add : Int
      f32_sub : Int
      f32_mul : Int
      f32_div : Int
      f32_min : Int
      f32_max : Int
      f32_copysign : Int
      f64_abs : Int
      f64_neg : Int
      f64_ceil : Int
      f64_floor : Int
      f64_trunc : Int
      f64_nearest : Int
      f64_sqrt : Int
      f64_add : Int
      f64_sub : Int
      f64_mul : Int
      f64_div : Int
      f64_min : Int
      f64_max : Int
      f64_copysign : Int
      i32_wrap_i64 : Int
      i32_trunc_f32s : Int
      i32_trunc_f32u : Int
      i32_trunc_f64s : Int
      i32_trunc_f64u : Int
      i64_extend_i32s : Int
      i64_extend_i32u : Int
      i64_trunc_f32s : Int
      i64_trunc_f32u : Int
      i64_trunc_f64s : Int
      i64_trunc_f64u : Int
      f32_convert_i32s : Int
      f32_convert_i32u : Int
      f32_convert_i64s : Int
      f32_convert_i64u : Int
      f32_demote_f64 : Int
      f64_convert_i32s : Int
      f64_convert_i32u : Int
      f64_convert_i64s : Int
      f64_convert_i64u : Int
      f64_promote_f32 : Int
      i32_extend8s : Int
      i32_extend16s : Int
      i64_extend8s : Int
      i64_extend16s : Int
      i64_extend32s : Int
      i32_trunc_sat_f32s : Int
      i32_trunc_sat_f32u : Int
      i32_trunc_sat_f64s : Int
      i32_trunc_sat_f64u : Int
      i64_trunc_sat_f32s : Int
      i64_trunc_sat_f32u : Int
      i64_trunc_sat_f64s : Int
      i64_trunc_sat_f64u : Int
      i32_reinterpret_f32 : Int
      i64_reinterpret_f64 : Int
      f32_reinterpret_i32 : Int
      f64_reinterpret_i64 : Int
      br_table : Int
      unreachable_opcode : Int
      local_tee : Int
      typed_select : Int
      return_call : Int
      return_call_indirect : Int
      return_call_ref : Int
      v128_const : Int
      i8x16_splat : Int
      i16x8_splat : Int
      i32x4_splat : Int
      i64x2_splat : Int
      f32x4_splat : Int
      f64x2_splat : Int
      i8x16_extract_lane_s : Int
      i8x16_extract_lane_u : Int
      i8x16_replace_lane : Int
      i16x8_extract_lane_s : Int
      i16x8_extract_lane_u : Int
      i16x8_replace_lane : Int
      i32x4_extract_lane : Int
      i32x4_replace_lane : Int
      i64x2_extract_lane : Int
      i64x2_replace_lane : Int
      f32x4_extract_lane : Int
      f32x4_replace_lane : Int
      f64x2_extract_lane : Int
      f64x2_replace_lane : Int
      v128_not : Int
      v128_and : Int
      v128_andnot : Int
      v128_or : Int
      v128_xor : Int
      v128_bitselect : Int
      v128_any_true : Int
      i8x16_eq : Int
      i8x16_ne : Int
      i8x16_lt_s : Int
      i8x16_lt_u : Int
      i8x16_gt_s : Int
      i8x16_gt_u : Int
      i8x16_le_s : Int
      i8x16_le_u : Int
      i8x16_ge_s : Int
      i8x16_ge_u : Int
      i16x8_eq : Int
      i16x8_ne : Int
      i16x8_lt_s : Int
      i16x8_lt_u : Int
      i16x8_gt_s : Int
      i16x8_gt_u : Int
      i16x8_le_s : Int
      i16x8_le_u : Int
      i16x8_ge_s : Int
      i16x8_ge_u : Int
      i32x4_eq : Int
      i32x4_ne : Int
      i32x4_lt_s : Int
      i32x4_lt_u : Int
      i32x4_gt_s : Int
      i32x4_gt_u : Int
      i32x4_le_s : Int
      i32x4_le_u : Int
      i32x4_ge_s : Int
      i32x4_ge_u : Int
      i64x2_eq : Int
      i64x2_ne : Int
      i64x2_lt_s : Int
      i64x2_gt_s : Int
      i64x2_le_s : Int
      f32x4_eq : Int
      f32x4_ne : Int
      f32x4_lt : Int
      f32x4_gt : Int
      f32x4_le : Int
      f32x4_ge : Int
      f64x2_eq : Int
      f64x2_ne : Int
      f64x2_lt : Int
      f64x2_gt : Int
      f64x2_le : Int
      f64x2_ge : Int
      i8x16_abs : Int
      i8x16_neg : Int
      i8x16_popcnt : Int
      i8x16_all_true : Int
      i8x16_bitmask : Int
      i16x8_abs : Int
      i16x8_neg : Int
      i16x8_q15mulr_sat_s : Int
      i16x8_all_true : Int
      i16x8_bitmask : Int
      i32x4_abs : Int
      i32x4_neg : Int
      i32x4_bitmask : Int
      i64x2_abs : Int
      i64x2_neg : Int
      i64x2_all_true : Int
      i8x16_add : Int
      i8x16_add_sat_s : Int
      i8x16_add_sat_u : Int
      i8x16_sub : Int
      i8x16_sub_sat_s : Int
      i16x8_mul : Int
      i8x16_shl : Int
      i8x16_shr_s : Int
      i8x16_shr_u : Int
      i16x8_shl : Int
      i16x8_shr_s : Int
      i16x8_shr_u : Int
      i32x4_shl : Int
      i32x4_shr_s : Int
      i32x4_shr_u : Int
      i64x2_shl : Int
      i64x2_shr_s : Int
      i64x2_shr_u : Int
      i64x2_ge_s : Int
      i32x4_all_true : Int
      i64x2_bitmask : Int
      i8x16_sub_sat_u : Int
      i8x16_min_s : Int
      i8x16_min_u : Int
      i8x16_max_s : Int
      i8x16_max_u : Int
      i8x16_avgr_u : Int
      i16x8_add : Int
      i16x8_add_sat_s : Int
      i16x8_add_sat_u : Int
      i16x8_sub : Int
      i16x8_sub_sat_s : Int
      i16x8_sub_sat_u : Int
      i16x8_min_s : Int
      i16x8_min_u : Int
      i16x8_max_s : Int
      i16x8_max_u : Int
      i16x8_avgr_u : Int
      i32x4_add : Int
      i32x4_sub : Int
      i32x4_mul : Int
      i32x4_min_s : Int
      i32x4_min_u : Int
      i32x4_max_s : Int
      i32x4_max_u : Int
      i64x2_add : Int
      i64x2_sub : Int
      i64x2_mul : Int
      f32x4_add : Int
      f32x4_abs : Int
      f32x4_neg : Int
      f32x4_sqrt : Int
      f32x4_sub : Int
      f32x4_mul : Int
      f32x4_div : Int
      f32x4_min : Int
      f32x4_max : Int
      f32x4_pmin : Int
      f32x4_pmax : Int
      f64x2_add : Int
      f64x2_abs : Int
      f64x2_neg : Int
      f64x2_sqrt : Int
      f64x2_sub : Int
      f64x2_mul : Int
      f64x2_div : Int
      f64x2_min : Int
      f64x2_max : Int
      f64x2_pmin : Int
      f64x2_pmax : Int
      f32x4_ceil : Int
      f32x4_floor : Int
      f32x4_trunc : Int
      f32x4_nearest : Int
      f64x2_ceil : Int
      f64x2_floor : Int
      f64x2_trunc : Int
      f64x2_nearest : Int
      v128_load8x8_s : Int
      v128_load8x8_u : Int
      v128_load16x4_s : Int
      v128_load16x4_u : Int
      v128_load32x2_s : Int
      v128_load32x2_u : Int
      v128_load8_splat : Int
      v128_load16_splat : Int
      v128_load32_splat : Int
      v128_load64_splat : Int
      v128_load8_lane : Int
      v128_load16_lane : Int
      v128_load32_lane : Int
      v128_load64_lane : Int
      v128_store8_lane : Int
      v128_store16_lane : Int
      v128_store32_lane : Int
      v128_store64_lane : Int
      v128_load32_zero : Int
      v128_load64_zero : Int
      i8x16_narrow_i16x8_u : Int
      i16x8_narrow_i32x4_s : Int
      i16x8_narrow_i32x4_u : Int
      i16x8_extadd_pairwise_i8x16_s : Int
      i16x8_extadd_pairwise_i8x16_u : Int
      i32x4_extadd_pairwise_i16x8_s : Int
      i32x4_extadd_pairwise_i16x8_u : Int
      i16x8_extend_low_i8x16_s : Int
      i16x8_extend_high_i8x16_s : Int
      i16x8_extend_low_i8x16_u : Int
      i16x8_extend_high_i8x16_u : Int
      i32x4_extend_low_i16x8_s : Int
      i32x4_extend_high_i16x8_s : Int
      i32x4_extend_low_i16x8_u : Int
      i32x4_extend_high_i16x8_u : Int
      i64x2_extend_low_i32x4_s : Int
      i64x2_extend_high_i32x4_s : Int
      i64x2_extend_low_i32x4_u : Int
      i64x2_extend_high_i32x4_u : Int
      i16x8_extmul_low_i8x16_s : Int
      i16x8_extmul_high_i8x16_s : Int
      i16x8_extmul_low_i8x16_u : Int
      i16x8_extmul_high_i8x16_u : Int
      i32x4_extmul_low_i16x8_s : Int
      i32x4_extmul_high_i16x8_s : Int
      i32x4_extmul_low_i16x8_u : Int
      i32x4_extmul_high_i16x8_u : Int
      i64x2_extmul_low_i32x4_s : Int
      i64x2_extmul_high_i32x4_s : Int
      i64x2_extmul_low_i32x4_u : Int
      i64x2_extmul_high_i32x4_u : Int
      f64x2_promote_low_f32x4 : Int
      v128_load : Int
      v128_store : Int
      i8x16_shuffle : Int
      i8x16_swizzle : Int
      i8x16_narrow_i16x8_s : Int
      i32x4_dot_i16x8_s : Int
      f32x4_demote_f64x2_zero : Int
      i32x4_trunc_sat_f32x4_s : Int
      i32x4_trunc_sat_f32x4_u : Int
      f32x4_convert_i32x4_s : Int
      f32x4_convert_i32x4_u : Int
      i32x4_trunc_sat_f64x2_s_zero : Int
      i32x4_trunc_sat_f64x2_u_zero : Int
      f64x2_convert_low_i32x4_s : Int
      f64x2_convert_low_i32x4_u : Int
      i8x16_relaxed_swizzle : Int
      i32x4_relaxed_trunc_f32x4_s : Int
      i32x4_relaxed_trunc_f32x4_u : Int
      i32x4_relaxed_trunc_zero_f64x2_s : Int
      i32x4_relaxed_trunc_zero_f64x2_u : Int
      f32x4_relaxed_madd : Int
      f32x4_relaxed_nmadd : Int
      f64x2_relaxed_madd : Int
      f64x2_relaxed_nmadd : Int
      i8x16_relaxed_laneselect : Int
      i16x8_relaxed_laneselect : Int
      i32x4_relaxed_laneselect : Int
      i64x2_relaxed_laneselect : Int
      f32x4_relaxed_min : Int
      f32x4_relaxed_max : Int
      f64x2_relaxed_min : Int
      f64x2_relaxed_max : Int
      i16x8_relaxed_q15mulr_s : Int
      i16x8_relaxed_dot_i8x16_i7x16_s : Int
      i32x4_relaxed_dot_i8x16_i7x16_add_s : Int
    } derive(Eq, 
    Debug    )

    GenValidExactOpcodeCounts::add

    source

    GenValidExactOpcodeCounts::empty

    source

    GenValidFailure

    source
    pub struct GenValidFailure {
      last_candidate : 
    Module
      config : GenValidConfig
      config_label : String
      attempts : Int
      validation_error_message : String
      budget_stop : GenValidBudgetStop?
    } derive(Eq, 
    Debug    )

    GenValidFeatureFacts

    source
    pub struct GenValidFeatureFacts {
      mode : GenValidMode
      has_imports : Bool
      has_func_exports : Bool
      has_table_exports : Bool
      has_mem_exports : Bool
      has_global_exports : Bool
      has_tag_exports : Bool
      has_start : Bool
      lacks_start : Bool
      has_tables : Bool
      has_mems : Bool
      has_globals : Bool
      has_tags : Bool
      has_elems : Bool
      has_datas : Bool
      has_data_count : Bool
      uses_ref_types : Bool
      uses_v128 : Bool
      has_call : Bool
      has_call_indirect : Bool
      has_branch_heavy_control : Bool
      has_payload_control_flow : Bool
      has_multivalue_control_flow : Bool
      has_numeric_full_ops : Bool
      has_br_table : Bool
      has_standalone_unreachable : Bool
      has_local_tee : Bool
      has_typed_select : Bool
      has_tail_calls : Bool
      has_grouped_local_decls : Bool
      has_mixed_local_decl_types : Bool
      has_high_local_indices : Bool
      has_unused_locals : Bool
      has_write_only_locals : Bool
      has_zero_local_funcs : Bool
      has_multi_param_result_arities : Bool
      has_empty_body_funcs : Bool
      has_unreachable_result_bodies : Bool
      has_local_name_entries : Bool
      has_scalar_memory_widths : Bool
      has_nonzero_memarg : Bool
      has_memory_limit_variants : Bool
      has_table_limit_variants : Bool
      has_const_expr_variants : Bool
      has_basic_ref_instructions : Bool
      has_i31_extern_conversions : Bool
      has_simd_phase1 : Bool
      has_simd_phase2 : Bool
      has_simd_phase3 : Bool
      has_descriptors : Bool
      has_continuations : Bool
      has_waitqueues : Bool
      has_atomics : Bool
      has_array_memory : Bool
      has_gc_constructors : Bool
      has_gc_accessors : Bool
      has_string_ops : Bool
      has_exception_try_table_matrix : Bool
      has_subtyping_topology : Bool
      has_rich_gc_field_plans : Bool
      has_import_export_topology : Bool
      has_element_segment_range : Bool
      has_data_segment_range : Bool
      has_name_custom_sections : Bool
      has_gc_exception_combo : Bool
      has_gc_tail_call_combo : Bool
      has_shared_memory_atomics : Bool
      has_imports_start_exports : Bool
      has_semantic_effects : Bool
      has_import_event_channel : Bool
      has_trap_frontier : Bool
      has_resource_observation : Bool
      has_poisoned_dead_code : Bool
      has_ssa_straight_line_local_chain : Bool
      has_ssa_already_ssa_local : Bool
      has_ssa_multi_def_same_local : Bool
      has_ssa_param_entry_read : Bool
      has_ssa_local_tee_def_use : Bool
      has_ssa_tee_freshen_candidate : Bool
      has_ssa_tee_merge_feeding_candidate : Bool
      has_ssa_tee_child_expression : Bool
      has_ssa_param_write : Bool
      has_ssa_dead_local_set : Bool
      has_ssa_dead_local_tee : Bool
      has_ssa_if_join_phi_candidate : Bool
      has_ssa_loop_backedge_phi_candidate : Bool
      has_ssa_br_table_phi_candidate : Bool
      has_ssa_parallel_copy_candidate : Bool
      has_ssa_parallel_copy_cycle_candidate : Bool
      has_ssa_default_local_merge : Bool
      has_ssa_one_arm_default_merge : Bool
      has_ssa_one_arm_param_merge : Bool
      has_ssa_both_arm_local_merge : Bool
      has_ssa_loop_carried_local_merge : Bool
      has_ssa_mixed_fresh_canonical_writes : Bool
      has_ssa_unreachable_local_carrier : Bool
      has_ssa_dropped_increment_guard_shape : Bool
      has_ssa_dropped_increment_reversed_boundary : Bool
      has_ssa_exceptional_fail_closed_shape : Bool
      has_ssa_typed_loop_param_fail_closed_shape : Bool
      has_ssa_nested_cfg_fail_closed_shape : Bool
      has_ssa_nested_result_if_supported_shape : Bool
      has_ssa_nested_result_if_condition_write : Bool
      has_ssa_nested_result_if_condition_value_block : Bool
      has_ssa_nested_result_if_arm_value_block : Bool
      has_ssa_nested_result_if_mixed_arm_value_block : Bool
      has_ssa_nested_result_if_scalar_result : Bool
      has_ssa_structured_early_return_local : Bool
      has_ssa_block_branch_merge_copy : Bool
      has_ssa_block_br_if_merge_copy : Bool
      has_ssa_structured_param_merge : Bool
      has_ssa_branch_local_not_read_later : Bool
      has_ssa_default_local_read_after_branchy_control : Bool
      has_ssa_dropped_unreachable_debris_before_hard_unreachable : Bool
      has_ssa_canonical_body_local_next_read : Bool
      has_ssa_immediate_block_exit_canonical_set_br : Bool
      has_ssa_enclosing_label_copy_before_exit : Bool
      has_ssa_branch_block_alias_copy : Bool
      has_ssa_nested_enclosing_label_copy : Bool
      has_ssa_parallel_branch_carrier_copy : Bool
      has_ssa_tee_branch_carrier_copy : Bool
      has_ssa_void_br_table_canonical_copies : Bool
      has_ssa_branch_operand_local_boundary : Bool
      has_ssa_nested_loop_target_boundary : Bool
      has_ssa_large_structured_local_mix : Bool
      exact_opcode_counts : GenValidExactOpcodeCounts
    } derive(Eq, 
    Debug    )

    GenValidFeatureStats

    source
    pub struct GenValidFeatureStats {
      mode : GenValidMode
      modules : Int
      imports : Int
      func_exports : Int
      table_exports : Int
      mem_exports : Int
      global_exports : Int
      tag_exports : Int
      starts : Int
      lacks_start : Int
      tables : Int
      mems : Int
      globals : Int
      tags : Int
      elems : Int
      datas : Int
      data_count : Int
      ref_types : Int
      v128 : Int
      calls : Int
      call_indirect : Int
      branch_heavy_control : Int
      payload_control_flow : Int
      multivalue_control_flow : Int
      numeric_full_ops : Int
      br_table : Int
      standalone_unreachable : Int
      local_tee : Int
      typed_select : Int
      tail_calls : Int
      high_local_indices : Int
      unused_locals : Int
      write_only_locals : Int
      zero_local_funcs : Int
      multi_param_result_arities : Int
      empty_body_funcs : Int
      unreachable_result_bodies : Int
      local_name_entries : Int
      scalar_memory_widths : Int
      nonzero_memarg : Int
      memory_limit_variants : Int
      table_limit_variants : Int
      const_expr_variants : Int
      basic_ref_instructions : Int
      i31_extern_conversions : Int
      simd_phase1 : Int
      simd_phase2 : Int
      simd_phase3 : Int
      descriptors : Int
      continuations : Int
      waitqueues : Int
      atomics : Int
      array_memory : Int
      gc_constructors : Int
      gc_accessors : Int
      string_ops : Int
      exception_try_table_matrix : Int
      subtyping_topology : Int
      rich_gc_field_plans : Int
      import_export_topology : Int
      element_segment_range : Int
      data_segment_range : Int
      name_custom_sections : Int
      gc_exception_combo : Int
      gc_tail_call_combo : Int
      shared_memory_atomics : Int
      imports_start_exports : Int
      semantic_effects : Int
      import_event_channel : Int
      trap_frontier : Int
      resource_observation : Int
      poisoned_dead_code : Int
      ssa_straight_line_local_chain : Int
      ssa_already_ssa_local : Int
      ssa_multi_def_same_local : Int
      ssa_param_entry_read : Int
      ssa_local_tee_def_use : Int
      ssa_tee_freshen_candidate : Int
      ssa_tee_merge_feeding_candidate : Int
      ssa_tee_child_expression : Int
      ssa_param_write : Int
      ssa_dead_local_set : Int
      ssa_dead_local_tee : Int
      ssa_if_join_phi_candidate : Int
      ssa_loop_backedge_phi_candidate : Int
      ssa_br_table_phi_candidate : Int
      ssa_parallel_copy_candidate : Int
      ssa_parallel_copy_cycle_candidate : Int
      ssa_default_local_merge : Int
      ssa_one_arm_default_merge : Int
      ssa_one_arm_param_merge : Int
      ssa_both_arm_local_merge : Int
      ssa_loop_carried_local_merge : Int
      ssa_mixed_fresh_canonical_writes : Int
      ssa_unreachable_local_carrier : Int
      ssa_dropped_increment_guard_shape : Int
      ssa_dropped_increment_reversed_boundary : Int
      ssa_exceptional_fail_closed_shape : Int
      ssa_typed_loop_param_fail_closed_shape : Int
      ssa_nested_cfg_fail_closed_shape : Int
      ssa_nested_result_if_supported_shape : Int
      ssa_nested_result_if_condition_write : Int
      ssa_nested_result_if_condition_value_block : Int
      ssa_nested_result_if_arm_value_block : Int
      ssa_nested_result_if_mixed_arm_value_block : Int
      ssa_nested_result_if_scalar_result : Int
      ssa_structured_early_return_local : Int
      ssa_block_branch_merge_copy : Int
      ssa_block_br_if_merge_copy : Int
      ssa_structured_param_merge : Int
      ssa_branch_local_not_read_later : Int
      ssa_default_local_read_after_branchy_control : Int
      ssa_dropped_unreachable_debris_before_hard_unreachable : Int
      ssa_canonical_body_local_next_read : Int
      ssa_immediate_block_exit_canonical_set_br : Int
      ssa_enclosing_label_copy_before_exit : Int
      ssa_branch_block_alias_copy : Int
      ssa_nested_enclosing_label_copy : Int
      ssa_parallel_branch_carrier_copy : Int
      ssa_tee_branch_carrier_copy : Int
      ssa_void_br_table_canonical_copies : Int
      ssa_branch_operand_local_boundary : Int
      ssa_nested_loop_target_boundary : Int
      ssa_large_structured_local_mix : Int
      exact_opcode_counts : GenValidExactOpcodeCounts
    } derive(Eq, 
    Debug    )

    GenValidFeatureStats::empty

    source

    GenValidFeatureStats::record

    source

    GenValidFeatureToggles

    source
    pub struct GenValidFeatureToggles {
      allow_imports : Bool
      allow_tables : Bool
      allow_mems : Bool
      allow_globals : Bool
      allow_tags : Bool
      allow_start : Bool
      allow_elems : Bool
      allow_datas : Bool
      allow_ref_types : Bool
      allow_v128 : Bool
      allow_relaxed_simd : Bool
      allow_calls : Bool
      allow_call_indirect : Bool
      allow_tail_calls : Bool
      allow_branch_heavy_control : Bool
      allow_memory_limit_variants : Bool
      allow_table_limit_variants : Bool
      allow_const_expr_variants : Bool
      allow_shared_memories : Bool
      allow_memory64 : Bool
      allow_atomics : Bool
      allow_subtyping_topology : Bool
      allow_name_custom_sections : Bool
      allow_typed_body_generator : Bool
      allow_ssa_nomerge_body_generator : Bool
      allow_heap_store_optimization_body_generator : Bool
      allow_heap2local_body_generator : Bool
    } derive(Eq, 
    Debug    )

    GenValidFeatureToggles::coverage_forced_default

    source
    fn GenValidFeatureToggles::coverage_forced_default() -> GenValidFeatureToggles

    GenValidFeatureToggles::natural_default

    source

    GenValidGenerated

    source
    pub struct GenValidGenerated {
      wasm_module : 
    Module
      config : GenValidConfig
      config_label : String
      attempts : Int
      facts : GenValidFeatureFacts
    } derive(Eq, 
    Debug    )

    GenValidMode

    source
    pub enum GenValidMode {
      Natural
      CoverageForced
    } derive(Eq, 
    Debug    )

    GenValidModuleGenerated

    source
    pub struct GenValidModuleGenerated {
      wasm_module : 
    Module
      config : GenValidConfig
      config_label : String
      attempts : Int
    } derive(Eq, 
    Debug    )

    GenValidProfile

    source
    pub enum GenValidProfile {
      NaturalSmallProfile
      NaturalWideProfile
      NaturalDeepProfile
      CoverageForcedPortableProfile
      CoverageForcedAllFeaturesProfile
      BinaryenOraclePortableProfile
      BinaryenOracleRelaxedSimdProfile
      MutationSeedSmallProfile
      MutationSeedRichProfile
      PassFuzzStressProfile
      ValidatorStressProfile
      PassCleanupProfile
      OnceReductionTailCallsProfile
      VacuumProfile
      VacuumCoreProfile
      VacuumTerminalUnreachableProfile
      VacuumStructuralWrappersProfile
      VacuumDroppedParentEffectsProfile
      VacuumConstantResultIfProfile
      VacuumCallPrefixContinuationProfile
      VacuumLocalsetPrefixPreserveProfile
      VacuumHazardBoundaryProfile
      VacuumUnreadTeeProfile
      RseAllProfile
      RseCoreSameValueProfile
      RseLocalCopySelfSetProfile
      RseCfgMergeProfile
      RseLoopFlowProfile
      RseRefinedGetProfile
      RseRefinementWrappersProfile
      RseAggregateRefinalizeProfile
      RseExceptionBoundariesProfile
      RseHazardBoundaryProfile
      RseVacuumTailProfile
      PassDaeProfile
      DaeAllProfile
      ConstraintAllProfile
      ConstraintIntegerProfile
      ConstraintJoinsProfile
      ConstraintLoopsProfile
      ConstraintTeesProfile
      ConstraintWraparoundProfile
      ConstraintI64Profile
      ConstraintLogicalProfile
      ConstraintReferencesProfile
      ConstraintUnreachableProfile
      ConstraintRelationsProfile
      ConstraintEffectsProfile
      ConstraintFloatBoundaryProfile
      Binaryen132ArrayMemoryProfile
      Binaryen132WaitqueueProfile
      Binaryen132CompactImportsProfile
      Binaryen132AtomicOrdersProfile
      Binaryen132DescriptorBranchesProfile
      Dae2AllProfile
      Dae2ForwardedResultsProfile
      Dae2CyclesProfile
      Dae2ControlFlowProfile
      Dae2EffectfulArgumentsProfile
      Dae2TupleResultsProfile
      Dae2TailCallsProfile
      Dae2IndirectProfile
      Dae2OpenWorldProfile
      Dae2ReferenceTypesProfile
      Dae2LocalsProfile
      Dae2ContinuationsProfile
      Dae2ExceptionsProfile
      Dae2CallRefProfile
      Dae2IntrinsicsProfile
      DaeUnusedParamsProfile
      DaeEffectfulArgsProfile
      DaeConstantArgsProfile
      DaeUnusedReturnsProfile
      DaeArgTypeRefinementProfile
      DaeReturnTypeRefinementProfile
      DaeUnseenCallBoundaryProfile
      DaeTailCallBoundaryProfile
      DaeLocalizationProfile
      DaeConvergenceProfile
      DaeOptimizingProfile
      DaeOptimizingCoreProfile
      DaeOptimizingManyTouchedProfile
      DaeOptimizingMediumModuleProfile
      DaeOptimizingLargeLocalsProfile
      DaeOptimizingTouchedCallerProfile
      DaeOptimizingForwardedSuffixProfile
      DaeOptimizingResultControlProfile
      DaeOptimizingStructuredLocalsProfile
      DaeOptimizingReturnCleanupProfile
      DaeOptimizingImmutableFieldProfile
      DaeOptimizingComputedEffectsProfile
      DaeOptimizingTableEffectsProfile
      DaeOptimizingGcComputedProfile
      DaeOptimizingTailBoundaryProfile
      DaeOptimizingTypeReuseProfile
      PassInliningProfile
      InliningOptimizingDirectWrapperProfile
      InliningOptimizingParamSpillProfile
      InliningOptimizingReturnCallProfile
      InliningOptimizingCleanupPayoffProfile
      InliningOptimizingAllProfile
      SgoInitializerFoldingProfile
      SgoSameInitDeadSetProfile
      SgoReadOnlyToWriteProfile
      SgoStartupPropagationProfile
      SgoRuntimePropagationProfile
      SgoNestedCleanupProfile
      SgoAllProfile
      PggDirectGlobalProfile
      PggCompoundGlobalProfile
      PggGcCompoundProfile
      PggDataOffsetProfile
      PggElemOffsetProfile
      PggAllProfile
      PassMemoryProfile
      PassGcRefProfile
      PassControlProfile
      NoImportsProfile
      ImportsHeavyProfile
      GcHeavyProfile
      SimdHeavyProfile
      RelaxedSimdProfile
      MemoryHeavyProfile
      ControlHeavyProfile
      TopologyHeavyProfile
      PathologicalValidProfile
      EngineStateScalarControlProfile
      EngineStateCallsProfile
      EngineStateMemoryProfile
      EngineStateTableProfile
      EngineStateSimdProfile
      EngineStateImportsProfile
      EngineStateInitializationProfile
      EngineStateTrapProfile
      EngineStateMixedProfile
      EngineStateTopologyProfile
      EngineStateEffectsProfile
      EngineStateResourcesProfile
      EngineStateBoundariesProfile
      EngineStateOptimizerShapesProfile
      EngineStateEquivalentFamiliesProfile
      EngineStatePassiveSegmentsProfile
      EngineStateInstantiationBoundariesProfile
      EngineStateMultiResourceProfile
      EngineStateStackPressureProfile
      EngineStateMemoryAliasingProfile
      EngineStateIndirectTrapsProfile
      EngineStateTrapPlacementProfile
      EngineStateCrossInstanceProfile
      EngineStateResourceExhaustionProfile
      EngineStateDecoderTopologyProfile
      EngineStateTailCallsProfile
      EngineStateTypedFunctionReferencesProfile
      EngineStateMemory64Profile
      EngineStateExceptionsProfile
      EngineStateGcProfile
      EngineStateLinkGraphProfile
      EngineStateGcGraphProfile
      EngineStateInitializationGraphProfile
      EngineStateExceptionUnwindProfile
      EngineStateTypeCallMatrixProfile
      EngineStateLebIndexBoundariesProfile
      EngineStateTableReferenceMatrixProfile
      EngineStateMemory64MultiMemoryProfile
      EngineStateTrapCommitMatrixProfile
      EngineStateMetamorphicTwinsProfile
      EngineStateCompilerBoundariesProfile
      EngineStateNanProfile
      EngineStateInvalidModuleProfile
      EngineStateRecursiveMultivalueProfile
      EngineStateSubtypeCastGraphProfile
      EngineStateAllProfile
      EngineCompileShapesProfile
      EngineProposalMatrixProfile
      EngineStateCoreProfile
      EngineTieringLoopProfile
      EngineTieringLargeFunctionProfile
      EngineTieringCallChainProfile
      EngineTieringCallFanoutProfile
      EngineTieringIndirectProfile
      EngineTieringLocalsStackProfile
      EngineTieringMemoryProfile
      EngineTieringGcProfile
      EngineTieringStressProfile
      SemanticEffectsProfile
      SemanticImportEventsProfile
      SemanticTrapFrontierProfile
      SemanticResourcesProfile
      SemanticOptimizerAllProfile
      GsiDescCastPositiveProfile
      GsiDescCastZeroBoundaryProfile
      GsiDescCastMultiBoundaryProfile
      GsiDescCastStrictSubtypeProfile
      GsiDescCastUnreachableBoundaryProfile
      GsiDescCastAllProfile
      PrecomputeScalarProfile
      PrecomputeScalarValueProfile
      PrecomputeGcValueProfile
      PrecomputeEffectfulValueProfile
      PrecomputeControlProfile
      PrecomputeGlobalProfile
      PrecomputeDropCleanupProfile
      PrecomputeEffectBoundaryProfile
      PrecomputeGcAtomicBoundaryProfile
      PrecomputeDirectPrefixWatchProfile
      PrecomputePropagateLocalFactsProfile
      PrecomputeAllProfile
      PickLoadSignsSignedExtendProfile
      PickLoadSignsSignedShiftProfile
      PickLoadSignsUnsignedMaskProfile
      PickLoadSignsUnsignedShiftProfile
      PickLoadSignsUnknownUseBoundaryProfile
      PickLoadSignsMixedWidthBoundaryProfile
      PickLoadSignsWidthMismatchBoundaryProfile
      PickLoadSignsTeeBoundaryProfile
      PickLoadSignsNoMemoryBoundaryProfile
      PickLoadSignsImportedMemoryProfile
      PickLoadSignsI64WatchProfile
      PickLoadSignsAllProfile
      CodePushingIfArmProfile
      CodePushingAfterIfProfile
      CodePushingDroppedIfProfile
      CodePushingBrIfProfile
      CodePushingBrOnNullProfile
      CodePushingBrOnNonNullProfile
      CodePushingBrOnNonNullPrefixProfile
      CodePushingBrOnCastProfile
      CodePushingBrOnCastFailProfile
      CodePushingBrIfValueProfile
      CodePushingMultiSetProfile
      CodePushingMultiSetDroppedIfProfile
      CodePushingMultiSetBrIfProfile
      CodePushingMultiSetLocalCopyProfile
      CodePushingMultiSetNopWindowProfile
      CodePushingLoopBrIfProfile
      CodePushingMultiSetDropWindowProfile
      CodePushingMultiSetLocalGetWindowProfile
      CodePushingMultiSetGlobalGetWindowProfile
      CodePushingZeroReadProfile
      CodePushingAllProfile
      MergeBlocksStructuralProfile
      MergeBlocksExpressionProfile
      MergeBlocksEffectProfile
      MergeBlocksEhAtomicProfile
      MergeBlocksAllProfile
      CodeFoldingIfArmsProfile
      CodeFoldingBlockExitsProfile
      CodeFoldingReturnsProfile
      CodeFoldingTailCallsProfile
      CodeFoldingMovementProfile
      CodeFoldingEhProfile
      CodeFoldingAllProfile
      TupleOptimizationSpillProfile
      TupleOptimizationCopyChainProfile
      TupleOptimizationTeeProfile
      TupleOptimizationAliasCapturesProfile
      TupleOptimizationAllProfile
      DeadCodeEliminationNonControlProfile
      DeadCodeEliminationBlockSuffixProfile
      DeadCodeEliminationIfBothArmsProfile
      DeadCodeEliminationIfConditionProfile
      DeadCodeEliminationLoopBodyProfile
      DeadCodeEliminationTryTableProfile
      DeadCodeEliminationTryTableCatchRefProfile
      DeadCodeEliminationBranchPayloadForwarderProfile
      DeadCodeEliminationPrefixBranchPayloadProfile
      DeadCodeEliminationSplitLocalSetWrapperProfile
      DeadCodeEliminationStructuredPrefixProfile
      DeadCodeEliminationEffectfulStructuredPrefixProfile
      DeadCodeEliminationAllProfile
      HsoTeeProfile
      HsoChainProfile
      HsoDefaultProfile
      HsoSideEffectsProfile
      HsoDescriptorProfile
      HsoControlFlowProfile
      HsoSwapProfile
      HsoSharedOrderingProfile
      HsoBoundariesProfile
      HeapStoreOptimizationProfile
      MemoryPackingActiveRangesProfile
      MemoryPackingActiveTrapsProfile
      MemoryPackingDefinedOverlapProfile
      MemoryPackingPassiveSplitsProfile
      MemoryPackingSegmentOpsProfile
      MemoryPackingMemory64Profile
      MemoryPackingBoundariesProfile
      MemoryPackingImportedOverlapProfile
      MemoryPackingAllProfile
      Heap2LocalStructProfile
      Heap2LocalArrayProfile
      Heap2LocalRefProfile
      Heap2LocalOwnerUpdatesProfile
      Heap2LocalAllProfile
      LocalSubtypingStraightLineProfile
      LocalSubtypingStructuredProfile
      LocalSubtypingUnreachableTailProfile
      LocalSubtypingLubsProfile
      LocalSubtypingIterationProfile
      LocalSubtypingNullBottomProfile
      LocalSubtypingControlRefinalizeProfile
      LocalSubtypingAllProfile
      CoalesceLocalsStraightLineProfile
      CoalesceLocalsStructuredProfile
      CoalesceLocalsLoopCopyThroughProfile
      CoalesceLocalsEntryValuesProfile
      CoalesceLocalsCopyPreferenceProfile
      CoalesceLocalsTeeCopiesProfile
      CoalesceLocalsInterBlockProfile
      CoalesceLocalsUnreachableProfile
      CoalesceLocalsLegacyEhProfile
      CoalesceLocalsLargeUnusedProfile
      CoalesceLocalsExactTypesProfile
      CoalesceLocalsAllProfile
      MergeLocalsForwardProfile
      MergeLocalsForwardMultipleProfile
      MergeLocalsPartialInfluenceProfile
      MergeLocalsReverseProfile
      MergeLocalsReverseBoundaryProfile
      MergeLocalsControlProfile
      MergeLocalsTeeProfile
      MergeLocalsMergeBoundaryProfile
      MergeLocalsTypeBoundaryProfile
      MergeLocalsRollbackProfile
      MergeLocalsReverseRollbackProfile
      MergeLocalsNestedCopiesProfile
      MergeLocalsTrivialConfusionProfile
      MergeLocalsUnreachableProfile
      MergeLocalsLegacyEhProfile
      MergeLocalsAllProfile
      RemoveUnusedBrsControlProfile
      RemoveUnusedBrsSwitchProfile
      RemoveUnusedBrsGcProfile
      RemoveUnusedBrsCleanupProfile
      RemoveUnusedBrsConstantBrIfProfile
      RemoveUnusedBrsSingleTargetBrTableProfile
      RemoveUnusedBrsMultiFunctionProfile
      RemoveUnusedBrsResultRefinalizeProfile
      RemoveUnusedBrsMultivalueDropProfile
      RemoveUnusedBrsWrapperCleanupProfile
      RemoveUnusedBrsSelectifyProfile
      RemoveUnusedBrsTailFlowProfile
      RemoveUnusedBrsOneArmIfProfile
      RemoveUnusedBrsLoopProfile
      RemoveUnusedBrsSinkBlocksProfile
      RemoveUnusedBrsEhProfile
      RemoveUnusedBrsJumpThreadProfile
      RemoveUnusedBrsTablifyProfile
      RemoveUnusedBrsOptimizeSetIfProfile
      RemoveUnusedBrsRestructureIfProfile
      RemoveUnusedBrsAdjacentBranchProfile
      RemoveUnusedBrsWinBoundaryProfile
      RemoveUnusedBrsAllProfile
      DuplicateImportEliminationFunctionsProfile
      DuplicateImportEliminationIdentityProfile
      DuplicateImportEliminationModuleCodeProfile
      DuplicateImportEliminationLegacyEhProfile
      DuplicateImportEliminationNonfunctionProfile
      DuplicateImportEliminationAllProfile
      LocalCseTriggerProfile
      DuplicateFunctionEliminationTriggerProfile
      MergeSimilarFunctionsLiteralsProfile
      MergeSimilarFunctionsRepeatedDiffProfile
      MergeSimilarFunctionsExactDuplicatesProfile
      MergeSimilarFunctionsDuplicateTypesProfile
      MergeSimilarFunctionsLocalsProfile
      MergeSimilarFunctionsNestedProfile
      MergeSimilarFunctionsCallTargetsProfile
      MergeSimilarFunctionsTailCallsProfile
      MergeSimilarFunctionsRecordCopyProfile
      MergeSimilarFunctionsAllProfile
      SsaNomergeCoverageProfile
      SsaNomergeSmokeProfile
      SsaNomergeParityProfile
      SsaNomergeStressProfile
      SsaNomergeAllProfile
      SsaFreshSetProfile
      SsaFreshTeeProfile
      SsaParamEntryProfile
      SsaDefaultNumericProfile
      SsaDefaultRefProfile
      SsaUnreachableProfile
      SsaMergeExplicitProfile
      SsaMergeParamEntryProfile
      SsaMergeDefaultEntryProfile
      SsaMergeSharedSetsProfile
      SsaLoopProfile
      SsaBranchProfile
      SsaTypedControlProfile
      SsaNestedValueProfile
      SsaEhProfile
      SsaAllProfile
      SimplifyLocalsLocalTrafficProfile
      SimplifyLocalsStructureResultProfile
      SimplifyLocalsFlatParentProfile
      SimplifyLocalsEffectOrderProfile
      SimplifyLocalsStressProfile
      SimplifyLocalsFamilyCoverageProfile
      SimplifyLocalsAllProfile
      SimplifyLocalsNoteeAllProfile
      SimplifyLocalsNoteeNostructureAllProfile
      SimplifyLocalsNonestingAllProfile
      SimplifyLocalsNostructureStraightLineProfile
      SimplifyLocalsNostructureTeeControlProfile
      SimplifyLocalsNostructureEffectOrderProfile
      SimplifyLocalsNostructureAllProfile
      ReorderLocalsHotSortProfile
      ReorderLocalsPermutationOnlyProfile
      ReorderLocalsFirstUseTiesProfile
      ReorderLocalsMixedTypesProfile
      ReorderLocalsReferenceTypesProfile
      ReorderLocalsUnusedTrimProfile
      ReorderLocalsStructuredProfile
      ReorderLocalsLegacyEhProfile
      ReorderLocalsMultiFunctionProfile
      ReorderLocalsNameRepairProfile
      ReorderLocalsAllProfile
      OptimizeCastsLaterReuseProfile
      OptimizeCastsEarlyMotionProfile
      OptimizeCastsBarriersProfile
      OptimizeCastsBestCastProfile
      OptimizeCastsRefAsProfile
      OptimizeCastsStaticFoldsProfile
      OptimizeCastsNeighborhoodProfile
      OptimizeCastsAllProfile
      PassOiDefaultScalarProfile
      PassOiLocalFactsProfile
      PassOiBooleanSelectProfile
      PassOiMemoryBulkProfile
      PassOiCallRefProfile
      PassOiRefGcProfile
      PassOiGcAggregateProfile
      PassOiDescriptorGcProfile
      PassOiTupleProfile
      PassOiAllProfile
      FlattenFunctionResultsProfile
      FlattenOperandsProfile
      FlattenBlocksProfile
      FlattenIfsProfile
      FlattenLoopsProfile
      FlattenTeeProfile
      FlattenBrProfile
      FlattenBrIfProfile
      FlattenBrTableProfile
      FlattenUnreachableProfile
      FlattenMultivalueProfile
      FlattenLegacyEhProfile
      FlattenAllProfile
      DirectizeConstantProfile
      DirectizeSelectProfile
      DirectizeTableFactsProfile
      DirectizeTailCallProfile
      DirectizeGcProfile
      DirectizeTable64Profile
      DirectizeLegacyEhProfile
      DirectizeBoundaryProfile
      DirectizeAllProfile
      RandomAllProfilesProfile
      CampaignMemory64MultiMemoryProfile
      CampaignEhControlProfile
      CampaignGcRefSubtypesProfile
      CampaignSimdNumericProfile
      CampaignCallTopologyProfile
      CampaignSegmentStateProfile
      RumeDeadGraphProfile
      RumeTableTrapProfile
      RumeLegacyEhProfile
      RumeSpecialImportsProfile
      RumeCallableReferencesProfile
      RumeContinuationsDescriptorsProfile
      RumeIndexRemapStressProfile
      RumeAllProfile
      ReorderGlobalsHotTrafficProfile
      ReorderGlobalsDependencySearchProfile
      ReorderGlobalsImportedProfile
      ReorderGlobalsModuleCodeProfile
      ReorderGlobalsLegacyEhProfile
      ReorderGlobalsMetadataRemapProfile
      ReorderGlobalsThresholdProfile
      ReorderGlobalsAllProfile
      GlobalRefiningPrivateWritesProfile
      GlobalRefiningExportBoundariesProfile
      GlobalRefiningImportAliasesProfile
      GlobalRefiningSubtypeJoinsProfile
      GlobalRefiningAllProfile
    } derive(Eq, 
    Debug    )

    GenValidProfileMember

    source
    pub struct GenValidProfileMember {
      profile : GenValidProfile
      weight : Int
    } derive(Eq, 
    Debug    )

    GenValidProfileMember::new

    source
    fn GenValidProfileMember::new(profile : GenValidProfile, weight : Int) -> GenValidProfileMember

    GenValidProposalFeature

    source
    pub enum GenValidProposalFeature {
      GcFeature
      FunctionReferencesFeature
      TailCallsFeature
      ExceptionsFeature
      SimdFeature
      RelaxedSimdFeature
      AtomicsFeature
      BulkMemoryFeature
      MultiMemoryFeature
      Memory64Feature
      ExtendedConstFeature
      ReferenceTypesFeature
    } derive(Eq, 
    Debug    )

    GenValidProposalFeatureGateRow

    source
    pub struct GenValidProposalFeatureGateRow {
      feature : GenValidProposalFeature
      enabled_toggles : GenValidFeatureToggles
      disabled_toggles : Array[GenValidFeatureToggles]
    } derive(Eq, 
    Debug    )

    GenValidRandomStreamLabel

    source
    pub enum GenValidRandomStreamLabel {
      ModuleTopologyStream
      TypeStream
      FuncStream
      BodyStream
      MemoryStream
      TableStream
      DataStream
      ElemStream
      GlobalStream
      TagStream
      StartStream
      InvalidStrategyChoiceStream
      InvalidMutationChoiceStream
      TextMutationChoiceStream
      HarnessShufflingStream
    } derive(Eq, 
    Debug    )

    GenValidSectionBias

    source
    pub struct GenValidSectionBias {
      imports_percent : Int
      tables_percent : Int
      mems_percent : Int
      globals_percent : Int
      tags_percent : Int
      start_percent : Int
      elems_percent : Int
      datas_percent : Int
    } derive(Eq, 
    Debug    )

    GenValidSectionBias::coverage_forced_default

    source
    fn GenValidSectionBias::coverage_forced_default() -> GenValidSectionBias

    GenValidSectionBias::natural_default

    source
    fn GenValidSectionBias::natural_default() -> GenValidSectionBias

    GenValidSsaFuncFacts

    source
    pub struct GenValidSsaFuncFacts {
      has_ssa_straight_line_local_chain : Bool
      has_ssa_already_ssa_local : Bool
      has_ssa_multi_def_same_local : Bool
      has_ssa_param_entry_read : Bool
      has_ssa_local_tee_def_use : Bool
      has_ssa_tee_freshen_candidate : Bool
      has_ssa_tee_merge_feeding_candidate : Bool
      has_ssa_tee_child_expression : Bool
      has_ssa_param_write : Bool
      has_ssa_dead_local_set : Bool
      has_ssa_dead_local_tee : Bool
      has_ssa_if_join_phi_candidate : Bool
      has_ssa_loop_backedge_phi_candidate : Bool
      has_ssa_br_table_phi_candidate : Bool
      has_ssa_parallel_copy_candidate : Bool
      has_ssa_parallel_copy_cycle_candidate : Bool
      has_ssa_default_local_merge : Bool
      has_ssa_one_arm_default_merge : Bool
      has_ssa_one_arm_param_merge : Bool
      has_ssa_both_arm_local_merge : Bool
      has_ssa_loop_carried_local_merge : Bool
      has_ssa_mixed_fresh_canonical_writes : Bool
      has_ssa_unreachable_local_carrier : Bool
      has_ssa_dropped_increment_guard_shape : Bool
      has_ssa_dropped_increment_reversed_boundary : Bool
      has_ssa_exceptional_fail_closed_shape : Bool
      has_ssa_typed_loop_param_fail_closed_shape : Bool
      has_ssa_nested_cfg_fail_closed_shape : Bool
      has_ssa_nested_result_if_supported_shape : Bool
      has_ssa_nested_result_if_condition_write : Bool
      has_ssa_nested_result_if_condition_value_block : Bool
      has_ssa_nested_result_if_arm_value_block : Bool
      has_ssa_nested_result_if_mixed_arm_value_block : Bool
      has_ssa_nested_result_if_scalar_result : Bool
      has_ssa_structured_early_return_local : Bool
      has_ssa_block_branch_merge_copy : Bool
      has_ssa_block_br_if_merge_copy : Bool
      has_ssa_structured_param_merge : Bool
      has_ssa_branch_local_not_read_later : Bool
      has_ssa_default_local_read_after_branchy_control : Bool
      has_ssa_dropped_unreachable_debris_before_hard_unreachable : Bool
      has_ssa_canonical_body_local_next_read : Bool
      has_ssa_immediate_block_exit_canonical_set_br : Bool
      has_ssa_enclosing_label_copy_before_exit : Bool
      has_ssa_branch_block_alias_copy : Bool
      has_ssa_nested_enclosing_label_copy : Bool
      has_ssa_parallel_branch_carrier_copy : Bool
      has_ssa_tee_branch_carrier_copy : Bool
      has_ssa_void_br_table_canonical_copies : Bool
      has_ssa_branch_operand_local_boundary : Bool
      has_ssa_nested_loop_target_boundary : Bool
      has_ssa_large_structured_local_mix : Bool
    } derive(Eq, 
    Debug    )

    GenValidSsaFuncFacts::empty

    source

    LabelStack

    source
    pub(all) struct LabelStack {
      values : Array[Array[
    ValType    ]]
      parents : Array[Int]
      head : Int
      len : Int
      legacy_catches : LegacyCatchScope?
    } derive(Hash, 
    Debug    )

    impl Show for LabelStack

    LabelStack::copy

    source
    fn LabelStack::copy(stack : LabelStack) -> LabelStack

    LabelStack::from_labels

    source

    LabelStack::get

    source

    LabelStack::length

    source
    fn LabelStack::length(stack : LabelStack) -> Int

    LabelStack::new

    source
    fn LabelStack::new() -> LabelStack

    LabelStack::push

    source
    fn LabelStack::push(stack : LabelStack, label_types : Array[
    ValType    ]) -> Unit

    LegacyCatchScope

    source
    pub enum LegacyCatchScope {
      CatchLabel(Int, LegacyCatchScope?)
    } derive(Hash, 
    Debug    )

    ProposalFeature

    source
    pub enum ProposalFeature {
      AcquireReleaseAtomics
      RelaxedAtomics
      SharedEverything
      Multibyte
      RelaxedSimd
      StackSwitching
    } derive(Eq, 
    Debug    )

    TcEscape

    source
    pub enum TcEscape {
      NoTcEscape
      BranchTcEscape(Int)
      TerminalTcEscape
    } derive(Eq, 
    Debug    )

    impl Show for TcEscape

    TcState

    source
    pub struct TcState {
      env : Env
      stack : Array[
    ValType    ]
      reachable : Bool
      polymorphic : Bool
      escape : TcEscape
      reachable_escape_depths : Array[Int]
      initialized_locals : Array[Bool]
    }

    impl Show for TcState

    ValidateInvalidAstFuzzStats

    source
    pub struct ValidateInvalidAstFuzzStats {
      profile : String
      seed : UInt64
      attempts : Int
      generator_config : GenValidConfig
      required_strategies : Array[ValidateInvalidAstStrategyId]
      seed_profiles : Array[GenInvalidNamedSeedProfile]
      seed_profile_attempts : Array[Int]
      strategy_stats : Array[ValidateInvalidAstStrategyStats]
    } derive(Eq, 
    Debug    )

    ValidateInvalidAstMutation

    source
    pub struct ValidateInvalidAstMutation {
      strategy : ValidateInvalidAstStrategyId
      applicable : Bool
      expected_family : ValidationIssueFamily
      mutated_module : 
    Module
    } derive(
    Debug    )

    ValidateInvalidAstRunConfig

    source
    pub struct ValidateInvalidAstRunConfig {
      profile : String
      attempts : Int
      generator_config : GenValidConfig
      required_strategies : Array[ValidateInvalidAstStrategyId]
      seed_profiles : Array[GenInvalidNamedSeedProfile]
    } derive(Eq, 
    Debug    )

    ValidateInvalidAstSeedPrerequisite

    source
    pub enum ValidateInvalidAstSeedPrerequisite {
      RequiresDefinedFunc
      RequiresMemoryData
    } derive(Eq, 
    Debug    )

    ValidateInvalidAstStrategyId

    source
    pub enum ValidateInvalidAstStrategyId {
      DuplicateExportName
      InvalidStartSignature
      InvalidImportedStartFuncParam
      InvalidImportedStartFuncResult
      InvalidImportedStartFuncParamResult
      InvalidImportedStartFuncMultiParam
      InvalidImportedStartFuncF32Param
      InvalidImportedStartFuncExternrefParam
      InvalidImportedStartFuncFuncrefParam
      MissingDataCount
      UndeclaredRefFunc
      InvalidFunctionBodyLocalIndex
      InvalidFunctionBodyGlobalIndex
      InvalidFunctionBodyTableIndex
      InvalidFunctionBodyMemoryIndex
      InvalidFunctionBodyCallIndex
      InvalidFunctionBodyBrLabelIndex
      InvalidFunctionBodyBrPayloadMismatch
      InvalidFunctionBodyCallPayloadMismatch
      InvalidFunctionBodyBrIfPayloadMismatch
      InvalidFunctionBodyBrTablePayloadMismatch
      InvalidFunctionBodyBrTableMultiValuePayloadArityMismatch
      InvalidFunctionBodyBrOnNullPayloadMismatch
      InvalidFunctionBodyIfConditionType
      InvalidFunctionBodyIfBranchResultType
      InvalidFunctionBodySelectConditionType
      InvalidFunctionBodySelectOperandType
      InvalidFunctionBodyThrowPayloadMismatch
      InvalidFunctionBodyTryTableCatchPayloadMismatch
      InvalidFunctionBodyTryTableCatchRefPayloadMismatch
      InvalidFunctionBodyThrowPayloadArityMismatch
      InvalidFunctionBodyThrowTagIndex
      InvalidFunctionBodyMemoryAddressType
      InvalidFunctionBodyMemory64AddressType
      InvalidFunctionBodyMemoryStoreAddressType
      InvalidFunctionBodyMemory64StoreAddressType
      InvalidFunctionBodyMemoryStoreValueType
      InvalidFunctionBodyMemory64StoreValueType
      InvalidFunctionBodyMemoryLoadAlignment
      InvalidFunctionBodyMemoryStoreAlignment
      InvalidFunctionBodyMemoryLoadOffsetRange
      InvalidFunctionBodyMemoryStoreOffsetRange
      InvalidFunctionBodyMemoryLoadIndex
      InvalidFunctionBodyMemoryStoreIndex
      InvalidFunctionBodyMemoryCopyDestIndex
      InvalidFunctionBodyMemoryCopySourceIndex
      InvalidFunctionBodyMemorySizeIndex
      InvalidFunctionBodyMemoryGrowIndex
      InvalidFunctionBodyMemoryGrowDeltaType
      InvalidFunctionBodyMemoryFillValueType
      InvalidFunctionBodyMemoryFillDestType
      InvalidFunctionBodyMemoryFillLengthType
      InvalidFunctionBodyMemoryCopyLengthType
      InvalidFunctionBodyMemoryCopySourceType
      InvalidFunctionBodyMemoryCopyDestType
      InvalidFunctionBodyMemory64CopyLengthType
      InvalidFunctionBodyMemory64CopySourceType
      InvalidFunctionBodyMemory64CopyDestType
      InvalidFunctionBodyMemory64InitDestType
      InvalidFunctionBodyMemoryInitLengthType
      InvalidFunctionBodyMemoryInitSourceType
      InvalidFunctionBodyMemoryInitDestType
      InvalidFunctionBodyMemoryInitDataIndex
      InvalidFunctionBodyLocalSetValueType
      InvalidFunctionBodyLocalTeeValueType
      InvalidFunctionBodyReturnValueType
      InvalidFunctionBodyTableGetIndexType
      InvalidFunctionBodyTableGrowValueType
      InvalidFunctionBodyTableGrowDeltaType
      InvalidFunctionBodyTableFillValueType
      InvalidFunctionBodyTableFillDestType
      InvalidFunctionBodyTableFillLengthType
      InvalidFunctionBodyTableCopyLengthType
      InvalidFunctionBodyTableCopySourceType
      InvalidFunctionBodyTableCopyDestType
      InvalidFunctionBodyTableCopyDestIndex
      InvalidFunctionBodyTableCopySourceIndex
      InvalidFunctionBodyTableInitLengthType
      InvalidFunctionBodyTableInitSourceType
      InvalidFunctionBodyTableInitDestType
      InvalidFunctionBodyTableInitElemIndex
      InvalidFunctionBodyTableInitTableIndex
      InvalidFunctionBodyDataDropIndex
      InvalidFunctionBodyElemDropIndex
      InvalidFunctionBodyTableSizeIndex
      InvalidFunctionBodyTableSetIndexType
      InvalidFunctionBodyCallIndirectIndexType
      InvalidFunctionBodyCallIndirectTableElementType
      InvalidFunctionBodyReturnCallIndirectIndexType
      InvalidFunctionBodyReturnCallIndirectTableElementType
      InvalidFunctionBodyReturnCallRefType
      InvalidFunctionBodyCallRefType
      InvalidFunctionBodyRefCastInputType
      InvalidFunctionBodyRefTestInputType
      InvalidFunctionBodyRefTestDescInputType
      InvalidFunctionBodyRefCastDescEqInputType
      InvalidFunctionBodyRefGetDescInputType
      InvalidFunctionBodyRefEqInputType
      InvalidFunctionBodyArrayLenInputType
      InvalidFunctionBodyArrayGetInputType
      InvalidFunctionBodyArraySetInputType
      InvalidFunctionBodyArraySetValueType
      InvalidFunctionBodyArrayFillInputType
      InvalidFunctionBodyArrayFillValueType
      InvalidFunctionBodyArrayFillLengthType
      InvalidFunctionBodyArrayCopyInputType
      InvalidFunctionBodyArrayCopySourceInputType
      InvalidFunctionBodyArrayCopyLengthType
      InvalidFunctionBodyArrayInitDataInputType
      InvalidFunctionBodyArrayInitDataDestType
      InvalidFunctionBodyArrayInitDataSourceType
      InvalidFunctionBodyArrayInitDataLengthType
      InvalidFunctionBodyArrayInitElemInputType
      InvalidFunctionBodyArrayInitElemDestType
      InvalidFunctionBodyArrayInitElemSourceType
      InvalidFunctionBodyArrayInitElemLengthType
      InvalidFunctionBodyArrayNewValueType
      InvalidFunctionBodyArrayNewLengthType
      InvalidFunctionBodyArrayNewDefaultLengthType
      InvalidFunctionBodyArrayNewFixedValueType
      InvalidFunctionBodyArrayNewDataSourceType
      InvalidFunctionBodyArrayNewDataLengthType
      InvalidFunctionBodyArrayNewElemSourceType
      InvalidFunctionBodyArrayNewElemLengthType
      InvalidFunctionBodyStructNewValueType
      InvalidFunctionBodyStructNewDefaultFieldType
      InvalidFunctionBodyStructGetInputType
      InvalidFunctionBodyStructSetInputType
      InvalidFunctionBodyStructSetValueType
      InvalidFunctionBodyStructGetFieldIndex
      InvalidFunctionBodyStructSetFieldIndex
      InvalidFunctionBodyStructSetImmutableField
      InvalidFunctionBodyStructGetSignedFieldType
      InvalidFunctionBodyStructGetPackedFieldPlainAccessor
      InvalidFunctionBodyAtomicNotifyCountType
      InvalidFunctionBodyAtomicWaitTimeoutType
      InvalidFunctionBodyAtomicRmwValueType
      InvalidFunctionBodyAtomicCmpxchgReplacementType
      InvalidFunctionBodyAtomicLoadAddressType
      InvalidFunctionBodyAtomicLoadNonSharedMemory
      InvalidFunctionBodyAtomicLoadAlignment
      InvalidFunctionBodyAtomicStoreAddressType
      InvalidFunctionBodyAtomicStoreValueType
      InvalidFunctionBodyAtomicLoadIndex
      InvalidFunctionBodyAtomicStoreIndex
      InvalidFunctionBodyAtomicNotifyIndex
      InvalidFunctionBodyAtomicWaitIndex
      InvalidFunctionBodyAtomicRmwIndex
      InvalidFunctionBodyAtomicCmpxchgIndex
      InvalidFunctionBodySimdExtractLaneIndex
      InvalidFunctionBodySimdReplaceLaneIndex
      InvalidFunctionBodySimdLoadLaneIndex
      InvalidFunctionBodySimdStoreLaneIndex
      InvalidFunctionBodySimdSplatInputType
      InvalidFunctionBodySimdSwizzleInputType
      InvalidFunctionBodySimdBitselectMaskType
      InvalidFunctionBodySimdBitselectLeftType
      InvalidFunctionBodySimdBitselectRightType
      InvalidFunctionBodySimdExtractInputType
      InvalidFunctionBodySimdReplaceVectorType
      InvalidFunctionBodySimdReplaceValueType
      InvalidFunctionBodySimdLoadAddressType
      InvalidFunctionBodySimdStoreAddressType
      InvalidFunctionBodySimdStoreValueType
      InvalidFunctionBodySimdLoadExtendAddressType
      InvalidFunctionBodySimdLoadSplatAddressType
      InvalidFunctionBodySimdLoadZeroAddressType
      InvalidFunctionBodySimdUnaryInputType
      InvalidFunctionBodySimdBinaryLeftType
      InvalidFunctionBodySimdBinaryRightType
      InvalidFunctionBodyRelaxedSimdSwizzleLeftType
      InvalidFunctionBodyRelaxedSimdLaneselectMaskType
      InvalidFunctionBodySimdShiftVectorType
      InvalidFunctionBodySimdShiftCountType
      InvalidFunctionBodySimdLoadLaneAddressType
      InvalidFunctionBodySimdLoadLaneVectorType
      InvalidFunctionBodySimdStoreLaneAddressType
      InvalidFunctionBodySimdStoreLaneVectorType
      InvalidFunctionBodySimdLoadMemoryIndex
      InvalidFunctionBodySimdStoreMemoryIndex
      InvalidFunctionBodySimdLoadLaneMemoryIndex
      InvalidFunctionBodySimdStoreLaneMemoryIndex
      InvalidFunctionBodyAtomicNotifyAddressType
      InvalidFunctionBodyAtomicWaitAddressType
      InvalidFunctionBodyAtomicWaitExpectedType
      InvalidFunctionBodyAtomicRmwAddressType
      InvalidFunctionBodyAtomicCmpxchgAddressType
      InvalidFunctionBodyAtomicCmpxchgExpectedType
      InvalidFunctionBodyBrOnCastInputType
      InvalidFunctionBodyBrOnCastTargetSubtype
      InvalidFunctionBodyBrOnCastFailInputType
      InvalidFunctionBodyBrOnNonNullPayloadMismatch
      InvalidFunctionBodyTableSetValueType
      InvalidFunctionBodyGlobalSetValueType
      InvalidNameSectionFuncIndex
      InvalidLocalNameSectionIndex
      InvalidLabelNameSectionIndex
      InvalidLocalNameSectionFuncIndex
      InvalidLabelNameSectionFuncIndex
      InvalidFuncTypeIndex
      FuncSecWithoutCodeSec
      CodeSecLengthMismatchTooSmall
      CodeSecLengthMismatchTooLarge
      CodeSecIncludesImportedBody
      MutableGlobalGetInConstInit
      InvalidGlobalInitType
      NonConstantDataOffset
      InvalidDataOffsetType
      InvalidDataActiveMemoryIndex
      InvalidImportedFuncTypeIndex
      InvalidImportedTagTypeIndex
      InvalidImportedTagResultType
      InvalidImportedTableRefType
      InvalidImportedGlobalRefType
      InvalidTableRefType
      InvalidGlobalRefType
      MutableGlobalGetInTableInit
      NonConstantElemOffset
      InvalidElementActiveTableIndex
      InvalidElementFuncIndex
      InvalidElementTypedExprType
      InvalidElementTableRefTypeMismatch
      InvalidTableInitExprType
      InvalidMemoryLimitRange
      InvalidTableLimitRange
      InvalidImportedMemoryLimitRange
      InvalidImportedTableLimitRange
      InvalidImportedSharedMemoryWithoutMax
      InvalidImportedSharedMemory64WithoutMax
      SharedMemoryWithoutMax
      SharedMemory64WithoutMax
      InvalidTagTypeIndex
      InvalidTagResultType
      InvalidSubtypeSuperIndex
      InvalidSubtypeSuperShape
      InvalidSubtypeFinalSuper
      InvalidSubtypeFuncVariance
      InvalidSubtypeMutableFieldVariance
      InvalidSubtypeSuperCycle
      DescriptorOnFuncType
      DescriptorCycle
      InvalidDescriptorFieldRefType
      InvalidDescribesForwardTypeRef
      DataCountWithoutDataSec
      InvalidExportFuncIndex
      InvalidExportFuncWrongKindIndex
      StartFuncOutOfRange
      StartFuncWrongKindIndex
      MissingDataCountDataDrop
      InvalidMemoryNameSectionIndex
      CodeSecWithoutFuncSec
      InvalidTableNameSectionIndex
      InvalidGlobalNameSectionIndex
      InvalidTypeNameSectionIndex
      InvalidFieldNameSectionIndex
      InvalidElemNameSectionIndex
      InvalidDataNameSectionIndex
      InvalidExportTableIndex
      InvalidExportGlobalIndex
      InvalidExportMemoryIndex
      InvalidExportTagIndex
      InvalidTagNameSectionIndex
      DataCountMismatchTooSmall
      DataCountMismatchTooLarge
      DataCountActivePassiveMismatch
    } derive(Eq, 
    Debug    )

    ValidateInvalidAstStrategySpec

    source
    pub struct ValidateInvalidAstStrategySpec {
      id : ValidateInvalidAstStrategyId
      stable_id : String
      variant_id : String
      display_name : String
      layer : String
      expected_family : ValidationIssueFamily
      expected_issue_kind : ValidationIssueFamily
      required_in_smoke : Bool
      seed_prerequisites : Array[ValidateInvalidAstSeedPrerequisite]
    } derive(Eq, 
    Debug    )

    ValidateInvalidAstStrategyStats

    source
    pub struct ValidateInvalidAstStrategyStats {
      strategy : ValidateInvalidAstStrategyId
      stable_id : String
      variant_id : String
      expected_family : ValidationIssueFamily
      expected_issue_kind : ValidationIssueFamily
      attempted : Int
      applicable : Int
      mutated : Int
      rejected : Int
      rejected_expected : Int
      variant_attempted : Int
      variant_applicable : Int
      variant_mutated : Int
      variant_rejected : Int
      rejected_exact_issue : Int
    } derive(Eq, 
    Debug    )

    ValidateValidFeatureFloor

    source
    pub struct ValidateValidFeatureFloor {
      key : ValidateValidFeatureKey
      min_count : Int
    } derive(Eq, 
    Debug    )

    ValidateValidFeatureFloorFailure

    source
    pub struct ValidateValidFeatureFloorFailure {
      key : ValidateValidFeatureKey
      min_count : Int
      actual_count : Int
    } derive(Eq, 
    Debug    )

    ValidateValidFeatureKey

    source
    pub enum ValidateValidFeatureKey {
      Imports
      FuncExports
      TableExports
      MemExports
      GlobalExports
      TagExports
      Starts
      LacksStart
      Tables
      Mems
      Globals
      Tags
      Elems
      Datas
      DataCount
      RefTypes
      V128
      Calls
      CallIndirect
      BranchHeavyControl
      PayloadControlFlow
      MultivalueControlFlow
      NumericFullOps
      BrTable
      StandaloneUnreachable
      LocalTee
      TypedSelect
      TailCalls
      ScalarMemoryWidths
      NonzeroMemarg
      MemoryLimitVariants
      TableLimitVariants
      ConstExprVariants
      BasicRefInstructions
      I31ExternConversions
      GcConstructors
      GcAccessors
      StringOps
      ExceptionTryTableMatrix
      SimdPhase1
      SimdPhase2
      SimdPhase3
      Descriptors
      Continuations
      Waitqueues
      Atomics
      ArrayMemory
      SubtypingTopology
      RichGcFieldPlans
      ImportExportTopology
      ElementSegmentRange
      DataSegmentRange
      NameCustomSections
      GcExceptionCombo
      GcTailCallCombo
      SharedMemoryAtomics
      ImportsStartExports
      SemanticEffects
      ImportEventChannel
      TrapFrontier
      ResourceObservation
      PoisonedDeadCode
      InvalidAstStrategies
      InvalidBinaryStrategies
      WastArbitraryParity
      SsaStraightLineLocalChain
      SsaAlreadySsaLocal
      SsaMultiDefSameLocal
      SsaParamEntryRead
      SsaLocalTeeDefUse
      SsaTeeFreshenCandidate
      SsaTeeMergeFeedingCandidate
      SsaTeeChildExpression
      SsaParamWrite
      SsaDeadLocalSet
      SsaDeadLocalTee
      SsaIfJoinPhiCandidate
      SsaLoopBackedgePhiCandidate
      SsaBrTablePhiCandidate
      SsaParallelCopyCandidate
      SsaParallelCopyCycleCandidate
      SsaDefaultLocalMerge
      SsaOneArmDefaultMerge
      SsaOneArmParamMerge
      SsaBothArmLocalMerge
      SsaLoopCarriedLocalMerge
      SsaMixedFreshCanonicalWrites
      SsaUnreachableLocalCarrier
      SsaDroppedIncrementGuardShape
      SsaDroppedIncrementReversedBoundary
      SsaExceptionalFailClosedShape
      SsaTypedLoopParamFailClosedShape
      SsaNestedCfgFailClosedShape
      SsaNestedResultIfSupportedShape
      SsaNestedResultIfConditionWrite
      SsaNestedResultIfConditionValueBlock
      SsaNestedResultIfArmValueBlock
      SsaNestedResultIfMixedArmValueBlock
      SsaNestedResultIfScalarResult
      SsaStructuredEarlyReturnLocal
      SsaBlockBranchMergeCopy
      SsaBlockBrIfMergeCopy
      SsaStructuredParamMerge
      SsaBranchLocalNotReadLater
      SsaDefaultLocalReadAfterBranchyControl
      SsaDroppedUnreachableDebrisBeforeHardUnreachable
      SsaCanonicalBodyLocalNextRead
      SsaImmediateBlockExitCanonicalSetBr
      SsaEnclosingLabelCopyBeforeExit
      SsaBranchBlockAliasCopy
      SsaNestedEnclosingLabelCopy
      SsaParallelBranchCarrierCopy
      SsaTeeBranchCarrierCopy
      SsaVoidBrTableCanonicalCopies
      SsaBranchOperandLocalBoundary
      SsaNestedLoopTargetBoundary
      SsaLargeStructuredLocalMix
    } derive(Eq, 
    Debug    )

    ValidateValidFeatureLedgerEntry

    source
    pub struct ValidateValidFeatureLedgerEntry {
      key : ValidateValidFeatureKey
      label : String
      actual_count : Int
      required_min : Int
      status : ValidateValidFeatureLedgerStatus
    } derive(Eq, 
    Debug    )

    ValidateValidFeatureLedgerStatus

    source
    pub enum ValidateValidFeatureLedgerStatus {
      Covered
      MissingOptional
      MissingRequired
    } derive(Eq, 
    Debug    )

    ValidateValidFuzzStats

    source
    pub struct ValidateValidFuzzStats {
      profile : String
      seed : UInt64
      attempts : Int
      validated : Int
      generator_config : GenValidConfig
      feature_stats : GenValidFeatureStats
      feature_floors : Array[ValidateValidFeatureFloor]
    } derive(Eq, 
    Debug    )

    ValidateValidRunConfig

    source
    pub struct ValidateValidRunConfig {
      profile : String
      attempts : Int
      generator_config : GenValidConfig
      feature_floors : Array[ValidateValidFeatureFloor]
    } derive(Eq, 
    Debug    )

    ValidationDiagnostic

    source
    pub struct ValidationDiagnostic {
      issue : ValidationIssue
      func_idx : 
    FuncIdx    ?
    } derive(Eq, 
    Debug    )

    ValidationDiagnostic::new

    source

    ValidationIssue

    source
    pub enum ValidationIssue {
      FeaturePolicy(String)
      TypeSection(String)
      ImportSection(String)
      FunctionSection(String)
      TableSection(String)
      MemorySection(String)
      TagSection(String)
      GlobalSection(String)
      ElementSection(String)
      DataSection(String)
      DataCountSection(String)
      StartSection(String)
      ExportSection(String)
      CodeSection(String)
      NameSection(String)
      CompilerFactsSection(String)
      FunctionBody(String)
    } derive(Eq, 
    Debug    )

    ValidationIssueFamily

    source
    pub enum ValidationIssueFamily {
      FeaturePolicyFamily
      TypeSectionFamily
      ImportSectionFamily
      FunctionSectionFamily
      TableSectionFamily
      MemorySectionFamily
      TagSectionFamily
      GlobalSectionFamily
      ElementSectionFamily
      DataSectionFamily
      DataCountSectionFamily
      StartSectionFamily
      ExportSectionFamily
      CodeSectionFamily
      NameSectionFamily
      CompilerFactsSectionFamily
      FunctionBodyFamily
    } derive(Eq, 
    Debug    )

    apply_validate_invalid_ast_strategy

    source
    fn apply_validate_invalid_ast_strategy(strategy : ValidateInvalidAstStrategyId, mod : 
    Module    ) -> Result[ValidateInvalidAstMutation, String]

    build_validate_invalid_ast_minimal_repro

    source
    fn build_validate_invalid_ast_minimal_repro(strategy : ValidateInvalidAstStrategyId) -> Result[
    Module    , String]

    build_validate_invalid_ast_minimal_repro_by_stable_id

    source
    fn build_validate_invalid_ast_minimal_repro_by_stable_id(stable_id : String) -> Result[
    Module    , String]

    check_validate_valid_feature_floors

    source
    fn check_validate_valid_feature_floors(stats : GenValidFeatureStats, floors : Array[ValidateValidFeatureFloor]) -> Array[ValidateValidFeatureFloorFailure]

    controlled_proposal_features

    source
    fn controlled_proposal_features() -> Array[ProposalFeature]

    default_gen_valid_config

    source
    fn default_gen_valid_config() -> GenValidConfig

    descriptor_compatible

    source
    fn descriptor_compatible(r0 : 
    RefType    , r1 : 
    RefType    , env : Env) -> Bool

    diff

    source

    empty_env

    source
    fn empty_env() -> Env

    gen_invalid_ast_generate

    source

    gen_invalid_ast_generate_from_seed

    source
    fn gen_invalid_ast_generate_from_seed(seed : UInt64, params : GenInvalidAstParams) -> Result[GenInvalidAstGenerated, String]

    gen_invalid_ast_params_profile_name

    source
    fn gen_invalid_ast_params_profile_name(params : GenInvalidAstParams) -> String

    gen_invalid_ast_seed_config

    source
    fn gen_invalid_ast_seed_config(params : GenInvalidAstParams) -> GenValidConfig

    gen_invalid_ast_seed_module

    source

    gen_invalid_ast_strategy_seed_prerequisites

    source
    fn gen_invalid_ast_strategy_seed_prerequisites(strategy : ValidateInvalidAstStrategyId) -> Array[ValidateInvalidAstSeedPrerequisite]

    gen_invalid_coverage_seed_generator_config

    source
    fn gen_invalid_coverage_seed_generator_config() -> GenValidConfig

    gen_invalid_named_seed_profile_name

    source
    fn gen_invalid_named_seed_profile_name(profile : GenInvalidNamedSeedProfile) -> String

    gen_invalid_require_defined_func_gen_valid_config

    source
    fn gen_invalid_require_defined_func_gen_valid_config(config : GenValidConfig) -> GenValidConfig

    gen_invalid_require_memory_data_gen_valid_config

    source
    fn gen_invalid_require_memory_data_gen_valid_config(config : GenValidConfig) -> GenValidConfig

    gen_invalid_seed_mode_name

    source
    fn gen_invalid_seed_mode_name(mode : GenInvalidSeedMode) -> String

    gen_invalid_small_gen_valid_config

    source
    fn gen_invalid_small_gen_valid_config(config : GenValidConfig) -> GenValidConfig

    gen_valid_case_seed

    source
    fn gen_valid_case_seed(seed : UInt64, case_index : Int) -> UInt64

    gen_valid_code_folding_profile_case_label

    source
    fn gen_valid_code_folding_profile_case_label(profile : GenValidProfile, _seed : UInt64) -> String?

    gen_valid_config_label

    source
    fn gen_valid_config_label(config : GenValidConfig) -> String

    gen_valid_const_expr_allowed_op_matrix

    source
    fn gen_valid_const_expr_allowed_op_matrix() -> Array[GenValidConstExprAllowedOps]

    gen_valid_const_expr_observed_op_matrix

    source
    fn gen_valid_const_expr_observed_op_matrix(mod : 
    Module    ) -> Array[GenValidConstExprObservedOps]

    gen_valid_coverage_template_signature

    source
    fn gen_valid_coverage_template_signature(mod : 
    Module    ) -> String

    gen_valid_dae_optimizing_profile_case_label

    source
    fn gen_valid_dae_optimizing_profile_case_label(profile : GenValidProfile, seed : UInt64) -> String?

    gen_valid_dead_argument_elimination_profile_config

    source
    fn gen_valid_dead_argument_elimination_profile_config(profile : GenValidProfile) -> GenValidConfig

    gen_valid_derive_stream_seed

    source
    fn gen_valid_derive_stream_seed(root_seed : UInt64, label : GenValidRandomStreamLabel) -> UInt64

    gen_valid_directize_profile_case_label

    source
    fn gen_valid_directize_profile_case_label(profile : GenValidProfile, seed : UInt64) -> String?

    gen_valid_duplicate_import_elimination_profile_case_label

    source
    fn gen_valid_duplicate_import_elimination_profile_case_label(profile : GenValidProfile, seed : UInt64) -> String?

    gen_valid_engine_state_cross_instance_support_module

    source
    fn gen_valid_engine_state_cross_instance_support_module(seed : UInt64) -> 
    Module

    gen_valid_engine_state_failure_family

    source
    fn gen_valid_engine_state_failure_family(profile : GenValidProfile, seed : UInt64) -> String

    gen_valid_engine_state_indirect_trap_family

    source
    fn gen_valid_engine_state_indirect_trap_family(seed : UInt64) -> String

    gen_valid_engine_state_instantiation_failure_family

    source
    fn gen_valid_engine_state_instantiation_failure_family(seed : UInt64) -> String

    gen_valid_engine_state_invalid_module_family

    source
    fn gen_valid_engine_state_invalid_module_family(seed : UInt64) -> String

    fn gen_valid_engine_state_link_graph_support_modules(seed : UInt64) -> Array[
    Module    ]

    gen_valid_engine_state_metamorphic_comparison_module

    source
    fn gen_valid_engine_state_metamorphic_comparison_module(seed : UInt64) -> 
    Module

    gen_valid_engine_state_outcome

    source
    fn gen_valid_engine_state_outcome(profile : GenValidProfile) -> String

    gen_valid_engine_state_profile

    source
    fn gen_valid_engine_state_profile() -> GenValidProfile

    gen_valid_engine_state_static_instruction_count

    source
    fn gen_valid_engine_state_static_instruction_count(mod_ : 
    Module    ) -> Int

    gen_valid_engine_state_trap_commit_family

    source
    fn gen_valid_engine_state_trap_commit_family(seed : UInt64) -> String

    gen_valid_engine_state_trap_family

    source
    fn gen_valid_engine_state_trap_family(seed : UInt64) -> String

    gen_valid_engine_tiering_profile_case_label

    source
    fn gen_valid_engine_tiering_profile_case_label(profile : GenValidProfile, seed : UInt64) -> String?

    gen_valid_feature_facts

    source
    fn gen_valid_feature_facts(mod : 
    Module    , mode : GenValidMode) -> GenValidFeatureFacts

    gen_valid_flatten_profile_case_label

    source
    fn gen_valid_flatten_profile_case_label(profile : GenValidProfile, _seed : UInt64) -> String?

    gen_valid_heap_store_optimization_profile_case_label

    source
    fn gen_valid_heap_store_optimization_profile_case_label(profile : GenValidProfile) -> String?

    gen_valid_inlining_optimizing_profile_case_label

    source
    fn gen_valid_inlining_optimizing_profile_case_label(profile : GenValidProfile, _seed : UInt64) -> String?

    gen_valid_memory_packing_profile_case_label

    source
    fn gen_valid_memory_packing_profile_case_label(profile : GenValidProfile) -> String?

    gen_valid_merge_blocks_profile_case_label

    source
    fn gen_valid_merge_blocks_profile_case_label(profile : GenValidProfile, _seed : UInt64) -> String?

    gen_valid_merge_locals_profile_case_label

    source
    fn gen_valid_merge_locals_profile_case_label(profile : GenValidProfile, seed : UInt64) -> String?

    gen_valid_merge_ssa_func_facts

    source
    fn gen_valid_merge_ssa_func_facts(left : GenValidSsaFuncFacts, right : GenValidSsaFuncFacts) -> GenValidSsaFuncFacts

    gen_valid_module

    source

    gen_valid_module_from_seed

    source
    fn gen_valid_module_from_seed(seed : UInt64, config : GenValidConfig) -> Result[GenValidModuleGenerated, GenValidFailure]

    gen_valid_module_result

    source

    gen_valid_module_result_from_seed

    source
    fn gen_valid_module_result_from_seed(seed : UInt64, config : GenValidConfig) -> Result[GenValidGenerated, GenValidFailure]

    gen_valid_module_with_config

    source

    gen_valid_msf_profile_case_label

    source
    fn gen_valid_msf_profile_case_label(profile : GenValidProfile, seed : UInt64) -> String?

    gen_valid_numtype

    source

    gen_valid_oi_trigger_profile_case_for_seed

    source
    fn gen_valid_oi_trigger_profile_case_for_seed(seed : UInt64) -> Int

    gen_valid_oi_trigger_profile_case_label

    source
    fn gen_valid_oi_trigger_profile_case_label(profile : GenValidProfile, seed : UInt64) -> String?

    gen_valid_profile_by_name

    source
    fn gen_valid_profile_by_name(name : String) -> Result[GenValidProfile, String]

    gen_valid_profile_is_composite

    source
    fn gen_valid_profile_is_composite(profile : GenValidProfile) -> Bool

    gen_valid_profile_leaf_for_case

    source
    fn gen_valid_profile_leaf_for_case(profile : GenValidProfile, seed : UInt64, case_index : Int) -> GenValidProfile

    gen_valid_profile_members

    source
    fn gen_valid_profile_members(profile : GenValidProfile) -> Array[GenValidProfileMember]

    gen_valid_profile_name

    source
    fn gen_valid_profile_name(profile : GenValidProfile) -> String

    gen_valid_profile_names

    source
    fn gen_valid_profile_names() -> Array[String]

    gen_valid_profiles

    source
    fn gen_valid_profiles() -> Array[GenValidProfile]

    gen_valid_proposal_feature_enabled

    source
    fn gen_valid_proposal_feature_enabled(toggles : GenValidFeatureToggles, feature : GenValidProposalFeature) -> Bool

    gen_valid_proposal_feature_gate_matrix

    source
    fn gen_valid_proposal_feature_gate_matrix() -> Array[GenValidProposalFeatureGateRow]

    gen_valid_proposal_feature_label

    source
    fn gen_valid_proposal_feature_label(feature : GenValidProposalFeature) -> String

    gen_valid_proposal_features

    source
    fn gen_valid_proposal_features() -> Array[GenValidProposalFeature]

    gen_valid_random_stream_label_name

    source
    fn gen_valid_random_stream_label_name(label : GenValidRandomStreamLabel) -> String

    gen_valid_random_stream_labels

    source
    fn gen_valid_random_stream_labels() -> Array[GenValidRandomStreamLabel]

    gen_valid_reorder_globals_profile_case_label

    source
    fn gen_valid_reorder_globals_profile_case_label(profile : GenValidProfile, seed : UInt64) -> String?

    gen_valid_rume_profile_case_label

    source
    fn gen_valid_rume_profile_case_label(profile : GenValidProfile, _seed : UInt64) -> String?

    gen_valid_scan_func_ssa_facts

    source
    fn gen_valid_scan_func_ssa_facts(param_count : Int, _locals : 
    Locals    , expr : 
    Expr    ) -> GenValidSsaFuncFacts

    gen_valid_ssa_full_profile_case_label

    source
    fn gen_valid_ssa_full_profile_case_label(profile : GenValidProfile) -> String?

    gen_valid_stream_random_state

    source
    fn gen_valid_stream_random_state(root_seed : UInt64, label : GenValidRandomStreamLabel) -> 
    RandomState

    gen_valid_tfunc

    source

    gen_valid_tuple_optimization_trigger_profile_case_label

    source
    fn gen_valid_tuple_optimization_trigger_profile_case_label(profile : GenValidProfile, seed : UInt64) -> String?

    gen_valid_undersampled_pass_profile_case_label

    source
    fn gen_valid_undersampled_pass_profile_case_label(profile : GenValidProfile, seed : UInt64) -> String?

    gen_valid_valtype

    source

    gen_valid_valtype_with_extra_refs

    source
    fn gen_valid_valtype_with_extra_refs(ctx : GenValidContext, extra_ref_types : Array[
    ValType    ]) -> 
    ValType

    make_state

    source
    fn make_state(env : Env, stack : Array[
    ValType    ]) -> TcState

    make_state_owned

    source
    fn make_state_owned(env : Env, stack : Array[
    ValType    ]) -> TcState

    module_proposal_features

    source
    fn module_proposal_features(module_ : 
    Module    ) -> Array[ProposalFeature]

    proposal_feature_by_name

    source
    fn proposal_feature_by_name(name : String) -> ProposalFeature?

    proposal_feature_name

    source
    fn proposal_feature_name(feature : ProposalFeature) -> String

    run_validate_invalid_ast_fuzz

    source
    fn run_validate_invalid_ast_fuzz(profile : String, seed : UInt64) -> Result[ValidateInvalidAstFuzzStats, String]

    run_validate_valid_fuzz

    source
    fn run_validate_valid_fuzz(profile : String, seed : UInt64) -> Result[ValidateValidFuzzStats, String]

    tc_escape_none

    source
    fn tc_escape_none() -> TcEscape

    tc_escape_terminal

    source
    fn tc_escape_terminal() -> TcEscape

    tc_state_clone

    source
    fn tc_state_clone(state : TcState) -> TcState

    tc_state_finish_block

    source
    fn tc_state_finish_block(outer : TcState, entry : TcState, body : TcState, results : Array[
    ValType    ]) -> Result[TcState, String]

    tc_state_finish_if

    source
    fn tc_state_finish_if(st : TcState, st1 : TcState, st_then : TcState, st_else : TcState, results : Array[
    ValType    ]) -> Result[TcState, String]

    tc_state_finish_loop

    source
    fn tc_state_finish_loop(st : TcState, st1 : TcState, st_body : TcState, results : Array[
    ValType    ]) -> Result[TcState, String]

    tc_state_finish_try_table

    source
    fn tc_state_finish_try_table(outer : TcState, entry : TcState, body : TcState, results : Array[
    ValType    ], catches : Array[
    Catch    ]) -> Result[TcState, String]

    tc_state_fork_body

    source
    fn tc_state_fork_body(state : TcState, env : Env, stack : Array[
    ValType    ]) -> TcState

    tc_state_merge_nonfallthrough_if_exits

    source
    fn tc_state_merge_nonfallthrough_if_exits(left : TcEscape, right : TcEscape) -> TcEscape

    tc_state_new

    source
    fn tc_state_new(env : Env, stack : Array[
    ValType    ], reachable : Bool, escape : TcEscape) -> TcState

    tc_state_normalize_untyped_block_exit

    source
    fn tc_state_normalize_untyped_block_exit(state : TcState, results : Array[
    ValType    ]) -> Result[(Bool, TcEscape), String]

    tc_state_normalize_untyped_if_branch_exit

    source
    fn tc_state_normalize_untyped_if_branch_exit(state : TcState, results : Array[
    ValType    ]) -> Result[(Bool, TcEscape), String]

    tc_state_pop_expect

    source
    fn tc_state_pop_expect(state : TcState, expected : 
    ValType    ) -> Result[TcState, String]

    tc_state_pop_types

    source
    fn tc_state_pop_types(state : TcState, types : Array[
    ValType    ]) -> Result[TcState, String]

    tc_state_push_types

    source
    fn tc_state_push_types(state : TcState, types : Array[
    ValType    ]) -> TcState

    tc_state_typecheck_catch_clause

    source
    fn tc_state_typecheck_catch_clause(state : TcState, catch_ : 
    Catch    ) -> Result[Unit, String]

    tc_state_validate_end_stack

    source
    fn tc_state_validate_end_stack(state : TcState, results : Array[
    ValType    ]) -> Result[Unit, String]

    tc_state_with_owned_stack

    source
    fn tc_state_with_owned_stack(state : TcState, stack : Array[
    ValType    ]) -> TcState

    tc_state_with_stack

    source
    fn tc_state_with_stack(state : TcState, stack : Array[
    ValType    ]) -> TcState

    typecheck_expr_for_probe

    source
    fn typecheck_expr_for_probe(expr : 
    Expr    , state : TcState) -> Result[TcState, String]

    Check a speculative expression with the same checks and state ownership as Typecheck::typecheck, omitting only the outer instruction/stack error wrapper. Nested diagnostics and the first underlying failure are retained.

    validate_codesec

    source
    fn validate_codesec(codesec : 
    CodeSec    ?, funcsec : 
    FuncSec    ?, env : Env) -> Result[Unit, String]

    validate_datacnt

    source
    fn validate_datacnt(datacnt_opt : 
    DataCntSec    ?, datasec_opt : 
    DataSec    ?) -> Result[Unit, String]

    validate_datasec

    source
    fn validate_datasec(datasec : 
    DataSec    ?, env0 : Env) -> Result[Env, String]

    validate_defined_func_against_module

    source
    fn validate_defined_func_against_module(m : 
    Module    , func_idx : 
    FuncIdx    , f : 
    Func    ) -> Result[Unit, String]

    validate_defined_funcs_against_module

    source

    validate_elemsec

    source
    fn validate_elemsec(elemsec : 
    ElemSec    ?, env0 : Env) -> Result[Env, String]

    validate_exportsec

    source
    fn validate_exportsec(exportsec : 
    ExportSec    ?, env : Env) -> Result[Unit, String]

    validate_func_body_against_functype

    source
    fn validate_func_body_against_functype(env : Env, ft : 
    FuncType    , f : 
    Func    ) -> Result[Unit, String]

    Validate one body against a resolved signature and unchanged module environment. Each invocation owns its local stack, labels and initialization state, so callers may reuse the module environment across sibling bodies.

    validate_funcsec

    source
    fn validate_funcsec(funcsec : 
    FuncSec    ?, env0 : Env) -> Result[Env, String]

    validate_globalsec

    source
    fn validate_globalsec(globalsec : 
    GlobalSec    ?, env0 : Env) -> Result[Env, String]

    validate_importsec

    source
    fn validate_importsec(importsec : 
    ImportSec    ?, env0 : Env) -> Result[Env, String]

    validate_invalid_ast_attempt_seed_for_profile

    source
    fn validate_invalid_ast_attempt_seed_for_profile(seed : UInt64, stable_id : String, seed_profile : String) -> UInt64

    validate_invalid_ast_registry

    source
    fn validate_invalid_ast_registry() -> Array[ValidateInvalidAstStrategySpec]

    validate_invalid_ast_run_config

    source
    fn validate_invalid_ast_run_config(profile : String) -> Result[ValidateInvalidAstRunConfig, String]

    validate_invalid_ast_strategy_by_stable_id

    source
    fn validate_invalid_ast_strategy_by_stable_id(stable_id : String) -> ValidateInvalidAstStrategySpec?

    validate_invalid_ast_strategy_spec_by_id

    source
    fn validate_invalid_ast_strategy_spec_by_id(id : ValidateInvalidAstStrategyId) -> ValidateInvalidAstStrategySpec?

    validate_memsec

    source
    fn validate_memsec(memsec : 
    MemSec    ?, env0 : Env) -> Result[Env, String]

    validate_module

    source
    fn validate_module(m : 
    Module    , disabled_features? : Array[ProposalFeature]) -> Result[Unit, ValidationError]

    validate_module_name_section

    source
    fn validate_module_name_section(m : 
    Module    ) -> Result[Unit, String]

    Check name-section references against the module's type and index spaces. This narrow check does not establish validity of function bodies or other sections; callers must retain their full module-validation boundary.

    validate_module_with_trace

    source
    fn validate_module_with_trace(m : 
    Module    , trace : (String) -> Unit, trace_all_funcs? : Bool, disabled_features? : Array[ProposalFeature]) -> Result[Unit, ValidationError]

    validate_startsec

    source
    fn validate_startsec(startsec : 
    StartSec    ?, env : Env) -> Result[Unit, String]

    validate_tablesec

    source
    fn validate_tablesec(tablesec : 
    TableSec    ?, env0 : Env) -> Result[Env, String]

    validate_tagsec

    source
    fn validate_tagsec(tagsec : 
    TagSec    ?, env0 : Env) -> Result[Env, String]

    validate_typesec

    source
    fn validate_typesec(typesec : 
    TypeSec    ?, env0 : Env) -> Result[Env, String]

    Validates the type section incrementally and extends env.global_types.

    validate_valid_feature_actual_count

    source
    fn validate_valid_feature_actual_count(stats : GenValidFeatureStats, key : ValidateValidFeatureKey) -> Int

    validate_valid_feature_actual_count_by_label

    source
    fn validate_valid_feature_actual_count_by_label(stats : GenValidFeatureStats, label : String) -> Result[Int, String]

    validate_valid_feature_floor

    source
    fn validate_valid_feature_floor(key : ValidateValidFeatureKey, min_count : Int) -> ValidateValidFeatureFloor

    validate_valid_feature_floor_by_label

    source
    fn validate_valid_feature_floor_by_label(label : String, min_count : Int) -> Result[ValidateValidFeatureFloor, String]

    validate_valid_feature_ledger

    source
    fn validate_valid_feature_ledger(stats : GenValidFeatureStats, floors : Array[ValidateValidFeatureFloor]) -> Array[ValidateValidFeatureLedgerEntry]

    validate_valid_run_config

    source
    fn validate_valid_run_config(profile : String) -> Result[ValidateValidRunConfig, String]

    validation_error_diagnostic

    source
    fn validation_error_diagnostic(err : ValidationError) -> ValidationDiagnostic

    validation_error_func_idx

    source
    fn validation_error_func_idx(err : ValidationError) -> 
    FuncIdx    ?

    validation_error_message

    source
    fn validation_error_message(err : ValidationError) -> String

    validation_issue_family

    source
    fn validation_issue_family(issue : ValidationIssue) -> ValidationIssueFamily

    validation_issue_message

    source
    fn validation_issue_message(issue : ValidationIssue) -> String

    Source Files

    Powered by MoonBit

    Site sourceReport issueModulesSkillsCLIBuild queueStatistics

    © 2026 mooncakes.io