HomeIsabelle/Phabricator

clarified context for retrieval: more explicit types, with optional close()…

Description

clarified context for retrieval: more explicit types, with optional close() operation;

Details

Provenance
makariusAuthored on
Parents
rISABELLE5ad049a5f6a8: tuned;
Branches
Unknown
Tags
Unknown