search

FStarLang / steel

The Steel separation logic library for F*
Apache License 2.0
31 stars 5 forks source link

Using attributes in the ML AST for Rust extraction #166

Closed aseemr closed 9 months ago

aseemr commented 9 months ago

Currently using them to specify things like constness of a function and generic parameter trait bounds.