Skip to content

File headers

Daniël Louwrinkrequested to merge
daniel/headers into master

This adds headers to the logical relations files, describing their contents. In addition, ref_mut has been renamed to ref_uniq.

Edited by Jonas Kastberg

Merge request reports