mit-plv/fiat-crypto

Mongomery functions don't specify twos_complement_eval

Closed this issue · 0 comments

FiloSottile commented

For example it appears in the comments of msat, but is not defined at the top of the file.