HomeIsabelle/Phabricator

clarified signature: more public operations;