HomeIsabelle/Phabricator

clarified signature -- more explicit types;

Authored by makarius.

Description

clarified signature -- more explicit types;

Details

Committed
makariusNov 20 2019, 12:21 PM
Parents
rISABELLEb1c555d3cd71: tuned signature -- more operations;
Branches
Unknown
Tags
Unknown