cupertino-files / readOperand

Function: readOperand()

readOperand(message): PredicateOperand | undefined

Defined in: src/tst/predicates.ts:368

Decode one TST.FormulaPredArgArchive.

The kind comes from which field carries a value rather than from arg_type: the populated field is unambiguous, whereas arg_type is an unpublished enum whose members beyond those in the corpus are unknown.

Parameters

message

RawMessage | undefined

Returns

PredicateOperand | undefined