-record(tuple_of, {elements :: list(libero@walker:field_type())}).