Searched refs:formatDatatypeAccessor (Results 1 – 1 of 1) sorted by relevance
45 string formatDatatypeAccessor(smtutil::Expression const& _expr, vector<string> const& _args) in formatDatatypeAccessor() function150 return formatDatatypeAccessor(_expr, strArgs); in toSolidityStr()