Header menu logo issie

BindOffer Type

An offer to bind one unbound instance parameter to a same-named parameter on an ancestor sheet, by materialising parameters and bindings along every instance path from the ancestor down to the instance.

Record fields

Record Field Description

Actions

Full Usage: Actions

Field type: ChainAction list

Everything accepting would do, deduplicated across instance paths.

Field type: ChainAction list

BindsTo

Full Usage: BindsTo

Field type: string

A representative declaring ancestor (the top sheet when it declares): what the offer describes itself as binding to.

Field type: string

ChildSheet

Full Usage: ChildSheet

Field type: string

The sheet inside the instance, which declares the parameter.

Field type: string

Declarers

Full Usage: Declarers

Field type: string list

Every ancestor sheet on a path from the top that already declares the parameter - the evidence the offer rests on.

Field type: string list

InstanceId

Full Usage: InstanceId

Field type: string

The unbound instance.

Field type: string

InstanceLabel

Full Usage: InstanceLabel

Field type: string
Field type: string

OnSheet

Full Usage: OnSheet

Field type: string

The sheet the unbound instance sits on.

Field type: string

Param

Full Usage: Param

Field type: ParamName
Field type: ParamName

Type something to start searching.