You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Sooner rather than later we will want to allow "assuming" types for functions from other crates /stdlib that are not part of flux. For example, we want to allow some refined signature for arr.len() that lets us check the code.
pubfnbar(arr:&[i32]) -> i32{let n = arr.len();if0 < n {
arr[0]}else{0}}
The text was updated successfully, but these errors were encountered:
Sooner rather than later we will want to allow "assuming" types for functions from other crates /stdlib that are not part of
flux
. For example, we want to allow some refined signature forarr.len()
that lets us check the code.The text was updated successfully, but these errors were encountered: