Initial implementation of explication of arrow declarations (not yet working for some reason).
Initial implementation of explication of arrow declarations (not yet working for some reason).

metaborg/dynsem,metaborg/dynsem