Richard Smith c6d35e1c4a Rename template constant -> concrete constant. (#4939) vor 1 Jahr
..
no_prelude c6d35e1c4a Rename template constant -> concrete constant. (#4939) vor 1 Jahr