HomeIsabelle/Phabricator

clarified signature;

Authored by makarius.

Description

clarified signature;

Details

Committed
makariusDec 6 2019, 3:53 PM
Parents
rISABELLEadf5e53d2b2b: export datatypes;
Branches
Unknown
Tags
Unknown