module header:
  Nothing
declaration docs:
arg docs: