Struct ValidateState

• Defined in File op.h

Struct Documentation

struct ValidateState

Shared inputs and indexes for a typed signature validation fold.

Public Members

const CallObj *call

Call being validated.

const OpObj *op

Canonical operator and its current argument metadata.

size_t args_index = 0

Index of the next value argument after the upfront arity check.

size_t ty_args_index = 0

Index of the next type argument after the upfront arity check.