Searched refs:WriteValueFn (Results 1 – 1 of 1) sorted by relevance
674 Value* WriteValueFn(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv)… in WriteValueFn() function888 RegisterFunction("write_value", WriteValueFn); in RegisterInstallFunctions()