HomePhabricator

prefer named facts;

Authored by makarius.

Description

prefer named facts;
tuned signature;

Details

Committed
makariusThu, Nov 7, 3:30 PM
Parents
rISABELLE64249a83bc29: clarified contexts;
Branches
Unknown
Tags
Unknown