"Ws e pequenos ajustes."

language/types/declarations.xml

@@ -567,7 +567,7 @@ object(C)#1 (0) {
   <example>
    <title>Declaração de tipo de argumento anulável</title>
    <programlisting role="php">
-<![CDATA[
+    <![CDATA[
 <?php
 class C {}
 
@@ -582,7 +582,7 @@ f(null);
    </programlisting>
    &example.outputs;
    <screen>
-<![CDATA[
+    <![CDATA[
 object(C)#1 (0) {
 }
 NULL
@@ -593,7 +593,7 @@ NULL
   <example>
    <title>Declaração de tipo de retorno anulável</title>
    <programlisting role="php">
-<![CDATA[
+    <![CDATA[
 <?php
 function get_item(): ?string {
     if (isset($_GET['item'])) {
@@ -608,7 +608,7 @@ function get_item(): ?string {
   </example>
  </sect2>
 
- <!-- TODO Move this into its own declare page -->
+  <!-- TODO Move this into its own declare page -->
  <sect2 xml:id="language.types.declarations.strict">
   <title>Tipagem estrita</title>
 

language/types/iterable.xml

@@ -4,7 +4,7 @@
  <title>Iteráveis</title>
 
  <para>
-  <type>Iterável</type> é um alias de tipo de tempo de compilação integrado para
+  <type>Iterable</type> é um alias de tipo de tempo de compilação integrado para
   <!-- Need to improve rendering of free-standing type elements in PhD
   <type class="union"><type>array</type><type>Traversable</type></type>.
   -->
@@ -20,14 +20,14 @@
  <note>
   <para>
    As funções que declaram iterável como um tipo de retorno também podem ser
-   <link
-    linkend="language.generators">geradoras</link>.
+   <link linkend="language.generators">geradoras</link>.
+
    <example>
     <title>
      Exemplo de tipo de retorno do gerador iterável
     </title>
     <programlisting role="php">
-<![CDATA[
+     <![CDATA[
 <?php
 
 function gen(): iterable {

language/types/mixed.xml

@@ -6,17 +6,17 @@
   O tipo <type>mixed</type> aceita todos os valores. É equivalente ao
   <link linkend="language.types.type-system.composite.union">tipo de união</link>
   <!-- Need to improve rendering of free-standing type elements in PhD
- <type class="union">
-  <type>object</type><type>resource</type><type>array</type><type>string</type>
-  <type>int</type><type>float</type><type>bool</type><type>null</type>
- </type>.
- -->
+  <type class="union">
+   <type>object</type><type>resource</type><type>array</type><type>string</type>
+   <type>int</type><type>float</type><type>bool</type><type>null</type>
+  </type>.
+  -->
   <literal>object|resource|array|string|float|int|bool|null</literal>.
   Disponível a partir do PHP 8.0.0.
  </para>
 
  <para>
-  <type>mixed</type> é, na linguagem da teoria dos tipos, o tipo superior.
+  <type>mixed</type> é, na linguagem da teoria dos tipos, o tipo universal.
   O que significa que todos os outros tipos são um subtipo dele.
  </para>
 

language/types/never.xml

@@ -3,8 +3,8 @@
  <title>Never</title>
 
  <para>
-  <type>never</type> é um tipo somente de retorno que indica que a função
-  não termina. Isso significa que ele chama <function>exit</function>,
+  <type>never</type> é um tipo de retorno que indica que a função
+  não termina. Isso significa que a função chama <function>exit</function>,
   lança uma exceção ou é um loop infinito.
   Portanto, não pode fazer parte de uma declaração de
   <link linkend="language.types.type-system.composite.union">tipo de união</link>.

language/types/numeric-strings.xml

@@ -13,7 +13,7 @@
 
  <informalexample>
   <programlisting>
-<![CDATA[
+   <![CDATA[
 WHITESPACES      \s*
 LNUM             [0-9]+
 DNUM             ([0-9]*)[\.]{LNUM}) | ({LNUM}[\.][0-9]*)
@@ -104,7 +104,7 @@ var_dump("2E1" == "020"); // verdadeiro, "2E1" é 2 * (10 ^ 1), ou 20
       O uso de uma sequência numérica inicial geraria um
       <constant>E_NOTICE</constant> em vez de um <constant>E_WARNING</constant>.
      </simpara>
-    </listitem>
+     </listitem>
     <listitem>
      <simpara>
       Se a string não for numérica, um <constant>E_WARNING</constant> foi

language/types/void.xml

@@ -3,7 +3,7 @@
  <title>Void</title>
 
  <para>
-  <type>void</type> é uma declaração de tipo somente retorno indicando que
+  <type>void</type> é uma declaração de tipo de retorno indicando que
   a função não retorna um valor, mas a função ainda pode terminar.
   Portanto, não pode fazer parte de uma declaração de
   <link linkend="language.types.type-system.composite.union">tipo de união</link>.