Cosmetic
This commit is contained in:
parent
808b991a35
commit
9148ad53fa
|
@ -153,8 +153,10 @@ denoted by the active target register, where *pat* is the [dataspace
|
||||||
pattern](../glossary.md#dataspace-pattern) resulting from evaluation of *PatternExpr*, and
|
pattern](../glossary.md#dataspace-pattern) resulting from evaluation of *PatternExpr*, and
|
||||||
*ref* is a fresh [entity](../glossary.md#entity) whose behaviour is to execute *Instruction* in
|
*ref* is a fresh [entity](../glossary.md#entity) whose behaviour is to execute *Instruction* in
|
||||||
response to assertions (resp. messages) carrying captured values from the binding-patterns in
|
response to assertions (resp. messages) carrying captured values from the binding-patterns in
|
||||||
*pat*. When the active target denotes a [dataspace](../glossary.md#dataspace) entity, the
|
*pat*.
|
||||||
`Observe` record establishes a subscription to matching assertions and messages.
|
|
||||||
|
When the active target denotes a [dataspace](../glossary.md#dataspace) entity, the `Observe`
|
||||||
|
record establishes a subscription to matching assertions and messages.
|
||||||
|
|
||||||
Each time a matching assertion arrives at a *ref*, a new [facet](../glossary.md#facet) is
|
Each time a matching assertion arrives at a *ref*, a new [facet](../glossary.md#facet) is
|
||||||
created, and *Instruction* is executed in the new facet. If the instruction creating the facet
|
created, and *Instruction* is executed in the new facet. If the instruction creating the facet
|
||||||
|
|
Loading…
Reference in New Issue