This one I understand. But what `{D : C}` is for?
# announcements
m
This one I understand. But what
{D : C}
is for?