Update Hacl.Streaming.Interface.fsti to add a prevlen parameter to update_multi
Update Hacl.Streaming.Interface.fsti to add a prevlen parameter to update_multi

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