Class PushScope

imperative/src/impl/interpreter/commands.h:126–136

};

struct PushScope {
    std::string scope_name;
    ScopeType type;

    template <typename TFunctor>
    void get_props(TFunctor&& functor) const {
        functor("scope_name", scope_name);
    }

    const char* get_name() const { return "PushScope"; }
};

struct PopScope {
    std::string scope_name;