find): port over `nat.find` API (#12413)

Commit

3 years ago

feat(data/pnat/find): port over `nat.find` API (#12413) Didn't port `pnat.find_add` because I got lost in the proof.

Author

pechersky

Parents