"util.jj" is used to process some specific strings, such as the declaration of a
function with templated types. It is designed to be used as a library funcions.
"util.jj" is used to process some specific strings, such as the declaration of a
function with templated types. It is designed to be used as a library funcions.