search

flux-rs / flux

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

Basic support for function pointers #780

Closed nilehmann closed 2 months ago

nilehmann commented 2 months ago

This allows us to mention function pointers in signatures and data types. This doesn't implement calling a function pointer or passing function pointers as arguments.

fixes #749