Skip to content

Commit b9711e6

Browse files
committed
fixes the indentation of the paragraphs added in the previous commit
1 parent 5a3a9bf commit b9711e6

File tree

1 file changed

+27
-25
lines changed

1 file changed

+27
-25
lines changed

spec/index.html

Lines changed: 27 additions & 25 deletions
Original file line numberDiff line numberDiff line change
@@ -9717,31 +9717,33 @@ <h5>Set Functions</h5>
97179717
this requires the parser to know whether some IRI refers to a function, cast, or
97189718
aggregate before it can determine if there are any errors in a query where aggregates
97199719
are used.</p>
9720-
<p>The definitions of the set functions in the following sections are based on two functions, <a href="#defn_Flatten">Flatten</a> and <a href="#defn_Card">Card</a>, which are defined as follows.</p>
9721-
<p><a href="#defn_Flatten">Flatten</a> is a function which is
9722-
used to collapse a sequence of lists into a single list.
9723-
For example, [(1,&nbsp;2), (3,&nbsp;4)] becomes (1, 2, 3, 4).</p>
9724-
<div class="defn">
9725-
<p><b>Definition: <span id="defn_Flatten">Flatten</span></b></p>
9726-
<p>Let <var>S</var> be a sequence of lists,
9727-
i.e., <var>S</var> =
9728-
[<var>L<sub>1</sub></var>,
9729-
<var>L<sub>2</sub></var>, ...,
9730-
<var>L<sub><var>m</var></sub></var>]
9731-
where, for every <var>i</var> &in; {1, ..., <var>m</var>},
9732-
<var>L<sub><var>i</var></sub></var> is a list.</p>
9733-
<p>Flatten(<var>S</var>) is the list
9734-
( <var>x</var> | <var>L</var> in <var>S</var> and
9735-
<var>x</var> in <var>L</var> ).</p>
9736-
</div>
9737-
<p><a href="#defn_Card">Card</a> is a function that returns the
9738-
cardinality of a sequence or a list of elements (which may be
9739-
solution mappings or other types of elements, depending on the
9740-
context).
9741-
<div class="defn">
9742-
<p><b>Definition: <span id="defn_Card">Card</span></b></p>
9743-
<p>Given a sequence or a list |L|, Card(|L|) is the cardinality of |L|.</p>
9744-
</div>
9720+
<p>The definitions of the set functions in the following sections
9721+
are based on two functions, <a href="#defn_Flatten">Flatten</a>
9722+
and <a href="#defn_Card">Card</a>, which are defined as follows.</p>
9723+
<p><a href="#defn_Flatten">Flatten</a> is a function which is
9724+
used to collapse a sequence of lists into a single list.
9725+
For example, [(1,&nbsp;2), (3,&nbsp;4)] becomes (1, 2, 3, 4).</p>
9726+
<div class="defn">
9727+
<p><b>Definition: <span id="defn_Flatten">Flatten</span></b></p>
9728+
<p>Let <var>S</var> be a sequence of lists,
9729+
i.e., <var>S</var> =
9730+
[<var>L<sub>1</sub></var>,
9731+
<var>L<sub>2</sub></var>, ...,
9732+
<var>L<sub><var>m</var></sub></var>]
9733+
where, for every <var>i</var> &in; {1, ..., <var>m</var>},
9734+
<var>L<sub><var>i</var></sub></var> is a list.</p>
9735+
<p>Flatten(<var>S</var>) is the list
9736+
( <var>x</var> | <var>L</var> in <var>S</var> and
9737+
<var>x</var> in <var>L</var> ).</p>
9738+
</div>
9739+
<p><a href="#defn_Card">Card</a> is a function that returns the
9740+
cardinality of a sequence or a list of elements (which may be
9741+
solution mappings or other types of elements, depending on the
9742+
context).
9743+
<div class="defn">
9744+
<p><b>Definition: <span id="defn_Card">Card</span></b></p>
9745+
<p>Given a sequence or a list |L|, Card(|L|) is the cardinality of |L|.</p>
9746+
</div>
97459747
</section>
97469748

97479749
<section id="aggCount">

0 commit comments

Comments
 (0)