proofs/fstar/extraction/*.fst
proofs/fstar/extraction/*.fsti
proofs/fstar/extraction/*.hints
proofs/fstar/extraction/*.smt2
