copy-discard signature

Last updated Mar 28, 2024

Context: copy-discard category.