Unused variable in Hacl.Impl.Chacha20.fst
Unused variable in Hacl.Impl.Chacha20.fst

Drop unused variable `k`.
mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star