Deploying to gh-pages from @ a7aac85 🚀

Author: github-merge-queue[bot]

master/Data.List.Relation.Binary.Sublist.DecSetoid.html

@@ -37,7 +37,7 @@
 <a id="1224" class="Comment">-- Additional relational properties</a>
 
 <a id="_⊆?_"></a><a id="1261" href="Data.List.Relation.Binary.Sublist.DecSetoid.html#1261" class="Function Operator">_⊆?_</a> <a id="1266" class="Symbol">:</a> <a id="1268" href="Relation.Binary.Definitions.html#6907" class="Function">Decidable</a> <a id="1278" href="Data.List.Relation.Binary.Sublist.Setoid.html#1567" class="Function Operator">_⊆_</a>
-<a id="1282" href="Data.List.Relation.Binary.Sublist.DecSetoid.html#1261" class="Function Operator">_⊆?_</a> <a id="1287" class="Symbol">=</a> <a id="1289" href="Data.List.Relation.Binary.Sublist.Heterogeneous.Properties.html#15901" class="Function">HeterogeneousProperties.sublist?</a> <a id="1322" href="Relation.Binary.Structures.html#1994" class="Function Operator">_≟_</a>
+<a id="1282" href="Data.List.Relation.Binary.Sublist.DecSetoid.html#1261" class="Function Operator">_⊆?_</a> <a id="1287" class="Symbol">=</a> <a id="1289" href="Data.List.Relation.Binary.Sublist.Heterogeneous.Properties.html#15659" class="Function">HeterogeneousProperties.sublist?</a> <a id="1322" href="Relation.Binary.Structures.html#1994" class="Function Operator">_≟_</a>
 
 <a id="⊆-isDecPartialOrder"></a><a id="1327" href="Data.List.Relation.Binary.Sublist.DecSetoid.html#1327" class="Function">⊆-isDecPartialOrder</a> <a id="1347" class="Symbol">:</a> <a id="1349" href="Relation.Binary.Structures.html#4296" class="Record">IsDecPartialOrder</a> <a id="1367" href="Data.List.Relation.Binary.Equality.Setoid.html#1555" class="Function Operator">_≋_</a> <a id="1371" href="Data.List.Relation.Binary.Sublist.Setoid.html#1567" class="Function Operator">_⊆_</a>
 <a id="1375" href="Data.List.Relation.Binary.Sublist.DecSetoid.html#1327" class="Function">⊆-isDecPartialOrder</a> <a id="1395" class="Symbol">=</a> <a id="1397" class="Keyword">record</a>