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