search

flux-rs / flux

Refinement Types for Rust
MIT License
660 stars 21 forks source link

Add example of an extern spec for std::slice::Iter and Enumerate #786

Closed enjhnsn2 closed 2 months ago

enjhnsn2 commented 2 months ago

Here is the enumerate example, as requested by @ranjitjhala

ranjitjhala commented 2 months ago

Awesome thanks @enjhnsn2 !!!