( "
" infix
  "#:re-export (" pre
  ")" post)