Module Wp.Sigs.Sigma.Chunk

module Chunk: Qed.Collection.S  with type t = chunk