[Util] NestedMsg: MapNestedMsg

tlc-pack / relax

Apache License 2.0

193 stars 58 forks source link

Closed MasterJH5574 closed 1 year ago

MasterJH5574 commented 1 year ago

This PR brings a new util function (MapNestedMsg) for NestedMsg:

MapNestedMsg recurses into an input NestedMsg and maps the leaves according to the provided mapping function.

One corresponding unit test is provided.