HomeIsabelle/Phabricator

clarified signature: more explicit class Entity_Context with private state +…