test(native): host-constructible ProximityInfo for replay harness (#78)#104

AsafMah merged 1 commit into

devAsafMah/LeanType:devfrom

feat/native-replay-proofAsafMah/LeanType:feat/native-replay-proofCopy head branch name to clipboard