Lib.Buffer: handle live, disjoint, modifies{1,2,3} and as_seq
Lib.Buffer: handle live, disjoint, modifies{1,2,3} and as_seq

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