HomeIsabelle/Phabricator

Initialise fields of mutable closure after allocation.