Up
Module
Wp.Sigs.Sigma.Chunk
module
Chunk
:
Qed.Collection.S
with type t = chunk