index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Util
/
Curry.v
blob: c06c3493d650c66054a4cb6513414469d8c9716b (
plain
)
1
2
Definition curry2 {A B C} (f : A -> B -> C) (x : A * B) : C := f (fst x) (snd x).
