proposit-core
Preparing search index...
lib
TBindingDecision
Type Alias TBindingDecision
TBindingDecision
:
|
{
action
:
"keep"
}
|
{
action
:
"retarget"
;
expressionId
:
string
}
|
{
action
:
"drop"
}
The decision for one changed or removed expression binding.
keep
: re-point the variable to the same expression of the newer version, accepting its new content. Not available for a removed one.
retarget
: bind the variable, in the same aspect, to another expression of the newer version.
drop
: remove the variable and every premise listed for it.
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
proposit-core
Loading...
The decision for one changed or removed expression binding.
keep: re-point the variable to the same expression of the newer version, accepting its new content. Not available for a removed one.retarget: bind the variable, in the same aspect, to another expression of the newer version.drop: remove the variable and every premise listed for it.