Interface Index<T>

interface Index<T> {
    id: Term<"int"> | Term<"uint">;
    tag: Tag;
    type: T;
    val: Term<keyof IndexTypeMap>;
}

Type Parameters

T extends Type

Hierarchy (view full)

Term<T>
- Index

Index

Properties

id tag type val

Properties

id

id: Term<"int"> | Term<"uint">

tag

tag: Tag

type

type: T

val

val: Term<keyof IndexTypeMap>

Generated using TypeDoc