Writes the value of X to Stream, including any bounds or discriminants.
S’Output (Stream:access Ada.Streams.Root_Stream_Type’Class;X)