///|
using @lib {
  type HeapType,
  type S33,
  type F32,
  type F64,
  type I32,
  type I64,
  type U32,
  type U64,
  type AbsHeapType,
  type RefType,
  type ValType,
  type CompType,
  type TypeMetadata,
  type FieldType,
  type Mut,
  type StorageType,
  type PackType,
  type RecType,
  type SubType,
  type ExternIdx,
  type TypeIdx,
  type FuncIdx,
  type TableIdx,
  type MemIdx,
  type GlobalIdx,
  type TagIdx,
  type ElemIdx,
  type DataIdx,
  type LocalIdx,
  type LabelIdx,
  type LaneIdx,
  type Name,
  type NameAssoc,
  type NameMap,
  type IndirectNameAssoc,
  type IndirectNameMap,
  type NameSec,
  type CustomSec,
  type TypeSec,
  type ImportSec,
  type Import,
  type ExternType,
  type TableType,
  type Limits,
  type MemType,
  type GlobalType,
  type TagType,
  type FuncSec,
  type TableSec,
  type Table,
  type MemSec,
  type GlobalSec,
  type Global,
  type StringRefsSec,
  type ExportSec,
  type Export,
  type StartSec,
  type ElemSec,
  type Elem,
  type CodeSec,
  type Func,
  type DataSec,
  type Data,
  type LocalRun,
  type Locals,
  type DataCntSec,
  type TagSec,
  type CastOp,
  type Module,
  type Expr,
  type Instruction,
  type ElemMode,
  type DataMode,
  type BlockType,
  type Catch,
  type ResumeHandler,
  type MemArg,
  type AtomicOrder,
  type AtomicRmwOp,
  type AtomicCmpxchgOp,
  type NumType,
  type ElemKind,
}

///|
using @representation {
  type AccessFacts,
  type AccessSiteFacts,
  type AliasSource,
  type AllocationFacts,
  type AllocationFieldFacts,
  type AllocationKind,
  type AllocationSiteFacts,
  type ArrayElementFacts,
  type BranchFacts,
  type BranchProfile,
  type CallProfile,
  type CallSiteFacts,
  type ClosedAliasSet,
  type ClosedFunctionSet,
  type ClosedGlobalSet,
  type ClosedHeapTypeSet,
  type ClosedMemorySet,
  type ClosedTableSet,
  type ClosedTypeViewSet,
  type ClosedValueSet,
  type CodeSite,
  type CompilerFactCustomSection,
  type EffectFacts,
  type EffectMask,
  type EscapeSinkMask,
  type ExpressionFact,
  type FactHeapType,
  type FactOperand,
  type FactValue,
  type FieldFacts,
  type FieldUsageFacts,
  type FloatClassMask,
  type FloatFacts,
  type FloatWidth,
  type FunctionBodyFacts,
  type FunctionBoundaryFacts,
  type FunctionFacts,
  type FunctionProfile,
  type FunctionResultRef,
  type GlobalFacts,
  type HeapDomain,
  type HintTarget,
  type IndexedValueFacts,
  type InlinePolicy,
  type IntConstant,
  type IntegerFacts,
  type IntWidth,
  type KnownBits,
  type KnownV128Bits,
  type LoopFacts,
  type LoopProfile,
  type MutationFacts,
  type MutationPhase,
  type NullabilityFacts,
  type NumericOperationFacts,
  type NumericOperationSiteFacts,
  type OptimizationFactsSec,
  type OptimizationGoal,
  type OptimizationHint,
  type ParameterFacts,
  type ParameterRef,
  type ParameterUseMask,
  type ProducerInfo,
  type ReferenceFacts,
  type RelationKind,
  type ResultFacts,
  type ResultIdentityFacts,
  type ScopedRelationFacts,
  type SignatureFacts,
  type SignedRange,
  type SourceProvenance,
  type TableEntryFacts,
  type TableFacts,
  type TemperatureHint,
  type TypeFacts,
  type TypePopulation,
  type TypeView,
  type UnsignedRange,
  type V128Bits,
  type ValueFacts,
  type ValueRef,
  type ValueSite,
  type VectorFacts,
  type VectorLaneShape,
  type WorldFacts,
  type WorldMode,
  type WriteFacts,
}