search

rems-project / cn-tutorial

8 stars 8 forks source link

Update types of indices to be `u64` #92

Open jprider63 opened 1 month ago

jprider63 commented 1 month ago

rems-project/cerberus#616 introduces a warning when types of indices are not u64. This updates the examples in the tutorial to use u64s for indices.