The numeric id of a known parameter (a number when safe, else a bigint); undefined for a named one.
The exact numeric id of a known parameter; undefined for a named one.
Returns the parameter identifier (the numeric id for known, the name for named).
Returns the display name of the parameter.
For known parameters with a name, returns the name. For known parameters without a name, returns the numeric ID as a string. For named parameters, returns the name enclosed in quotes.
Returns the raw name for named parameters, or undefined for known parameters.
Returns the assigned name if present (for known parameters only).
Returns the parameter value as an envelope, if set.
StaticcodecTagged-CBOR codec. decode requires #6.40007(n): the tag is part of
the type, as in the reference's TryFrom<CBOR>; use fromUntaggedCbor
for the bare id. tags is named from the global tags store at each
access, as the reference's cbor_tags() is.
StaticknownA known parameter with a numeric id and an optional display name.
Optionalname: stringStaticnamedStaticfromA parameter by known id (a number or bigint) or name (a string),
carrying value when given.
Optionalvalue: EnvelopeInputReturns true if this is a known (numeric) parameter.
Returns true if this is a named (string) parameter.
The parameter tag (40007), named as the global tags store names it at the time.
The bare id: the unsigned integer of a known parameter, the text of a named one.
#6.40007(id), the tag named as the global tags store names it.
StaticfromStaticfromDecode the bare id — the content of tag 40007 (the reference's
from_untagged_cbor): an unsigned integer is a known parameter, a text
a named one.
The parameter as an envelope: the leaf #6.40007(id), or the
assertion #6.40007(id): value when the parameter carries a value.
Checks equality based on value (for known) or name (for named).
The reference's Display: the assigned name or the number for a known
parameter, the name in quotes for a named one (lhs, 77, "x"); a
parameter that carries a value appends : value. The ❰…❱ form belongs
to the format strings, where the format context prints it on both sides.
StaticblankStaticlhsStaticrhs
Represents a parameter identifier in an expression.
In Gordian Envelope, a parameter appears as a predicate in an assertion on an expression envelope. The parameter identifies the name of the argument, and the object of the assertion is the argument value.
Parameters can be identified in two ways:
A known parameter's id is the reference's
u64:valueis anumberwhen it is a safe integer and abigintotherwise,valueBigIntis always exact. A parameter may carry the value envelope of its argument (paramValue), which the reference keeps in the expression envelope.When encoded in CBOR, parameters are tagged with #6.40007.