how would you do that for the `div`, <@U3E25GSEP> ...
# language-proposals
e
how would you do that for the
div
, @robin ?