Skip to content

ProfileContext

Common validated input passed to a profile.

readonly checkedExpression: CheckedExpr

Structurally valid checked expression with a Boolean root.


readonly limits: EffectiveTranslationLimits

Effective finite limits for this operation.


readonly optional profileConfiguration?: Any

Trusted profile configuration supplied by the caller.