Check if heap type ht1 is a subtype of heap type ht2. Heap types are represented as typeIdx values (negative for abstract, non-negative for concrete).

isAbsHeapType

fun isAbsHeapType(opcode: Int): Boolean

isAbsHeapTypeIdx

fun isAbsHeapTypeIdx(typeIdx: Int): Boolean

isValid

fun isValid(id: Long): Boolean

matches

fun matches(t1: ValType, t2: ValType): Boolean

fun matches(t1: ValType, t2: ValType, ts: TypeSection?): Boolean

matchesRef

fun matchesRef(t1: ValType, t2: ValType): Boolean

fun matchesRef(t1: ValType, t2: ValType, ts: TypeSection?): Boolean

sizeOf

fun sizeOf(args: List<ValType>): Int