module completions {

  # Display a line of text
  export extern echo [
    -n: string                # Do not output a trailing newline
    ...STRING: string
    --help(-h)                # Print help (see more with '--help')
  ]

}

use completions *