revert types in instances#83

XuyangSong wants to merge 5 commits into

developanoma/arm-risc0:developfrom

xuyang/revert_types_in_instancesanoma/arm-risc0:xuyang/revert_types_in_instancesCopy head branch name to clipboard