A sequence of documents is always allowed on a parameter input port. It is a static error (err:XS0040) to specify any value other than true.