HomeIsabelle/Phabricator

The "setter" for a container refers to the container itself so any bindingsā€¦

Authored by dcjm on Jul 6 2020, 2:34 PM.

Description

The "setter" for a container refers to the container itself so any bindings created when simplifying it
must be included with the setter and not lifted out.

Details

Committed
dcjmJul 6 2020, 2:34 PM
Parents
rPOLYMLade5d57318f0: Fix function name: they're mutual bindings not mutable.
Branches
Unknown
Tags
Unknown