deploy: 2f373ba

PLTools · May 22, 2023 · 95d1330 · 95d1330
1 parent f7fdcb7
commit 95d1330
Show file tree

Hide file tree

Showing 287 changed files with 1,424 additions and 7,087 deletions.
diff --git a/GT/Compare/Make/P/Intf/class-g/index.html b/GT/Compare/Make/P/Intf/class-g/index.html
diff --git a/GT/Compare/Make/P/class-generator/index.html b/GT/Compare/Make/P/class-generator/index.html
diff --git a/GT/Compare/Make/P/class-no_inherit_arg/index.html b/GT/Compare/Make/P/class-no_inherit_arg/index.html
diff --git a/GT/Compare/Make/P/class-no_inherit_arg0/index.html b/GT/Compare/Make/P/class-no_inherit_arg0/index.html
diff --git a/GT/Compare/Make/P/class-with_inherited_attr/index.html b/GT/Compare/Make/P/class-with_inherited_attr/index.html
diff --git a/GT/Compare/Make/class-g/index.html b/GT/Compare/Make/class-g/index.html
diff --git a/GT/Enum/Genum/Make/P/Intf/class-g/index.html b/GT/Enum/Genum/Make/P/Intf/class-g/index.html
diff --git a/GT/Enum/Genum/Make/P/class-generator/index.html b/GT/Enum/Genum/Make/P/class-generator/index.html
diff --git a/GT/Enum/Genum/Make/P/class-no_inherit_arg/index.html b/GT/Enum/Genum/Make/P/class-no_inherit_arg/index.html
diff --git a/GT/Enum/Genum/Make/P/class-no_inherit_arg0/index.html b/GT/Enum/Genum/Make/P/class-no_inherit_arg0/index.html
diff --git a/GT/Enum/Genum/Make/P/class-with_inherited_attr/index.html b/GT/Enum/Genum/Make/P/class-with_inherited_attr/index.html
diff --git a/GT/Enum/Genum/Make/class-g/index.html b/GT/Enum/Genum/Make/class-g/index.html
diff --git a/GT/Eq/Make/C/P/Intf/class-g/index.html b/GT/Eq/Make/C/P/Intf/class-g/index.html
diff --git a/GT/Eq/Make/C/P/class-generator/index.html b/GT/Eq/Make/C/P/class-generator/index.html
diff --git a/GT/Eq/Make/C/P/class-no_inherit_arg/index.html b/GT/Eq/Make/C/P/class-no_inherit_arg/index.html
diff --git a/GT/Eq/Make/C/P/class-no_inherit_arg0/index.html b/GT/Eq/Make/C/P/class-no_inherit_arg0/index.html
diff --git a/GT/Eq/Make/C/P/class-with_inherited_attr/index.html b/GT/Eq/Make/C/P/class-with_inherited_attr/index.html
diff --git a/GT/Eq/Make/class-g/index.html b/GT/Eq/Make/class-g/index.html
diff --git a/GT/Eval/Make/G/P/Intf/class-g/index.html b/GT/Eval/Make/G/P/Intf/class-g/index.html
diff --git a/GT/Eval/Make/G/P/class-generator/index.html b/GT/Eval/Make/G/P/class-generator/index.html
diff --git a/GT/Eval/Make/G/P/class-no_inherit_arg/index.html b/GT/Eval/Make/G/P/class-no_inherit_arg/index.html
diff --git a/GT/Eval/Make/G/P/class-no_inherit_arg0/index.html b/GT/Eval/Make/G/P/class-no_inherit_arg0/index.html
diff --git a/GT/Eval/Make/G/P/class-with_inherited_attr/index.html b/GT/Eval/Make/G/P/class-with_inherited_attr/index.html
diff --git a/GT/Eval/Make/P/Intf/class-g/index.html b/GT/Eval/Make/P/Intf/class-g/index.html
diff --git a/GT/Eval/Make/P/class-generator/index.html b/GT/Eval/Make/P/class-generator/index.html
diff --git a/GT/Eval/Make/P/class-no_inherit_arg/index.html b/GT/Eval/Make/P/class-no_inherit_arg/index.html
diff --git a/GT/Eval/Make/P/class-no_inherit_arg0/index.html b/GT/Eval/Make/P/class-no_inherit_arg0/index.html
diff --git a/GT/Eval/Make/P/class-with_inherited_attr/index.html b/GT/Eval/Make/P/class-with_inherited_attr/index.html
diff --git a/GT/Eval/Make/class-g/index.html b/GT/Eval/Make/class-g/index.html
diff --git a/GT/Foldl/Make/P/Intf/class-g/index.html b/GT/Foldl/Make/P/Intf/class-g/index.html
diff --git a/GT/Foldl/Make/P/class-generator/index.html b/GT/Foldl/Make/P/class-generator/index.html
diff --git a/GT/Foldl/Make/P/class-no_inherit_arg/index.html b/GT/Foldl/Make/P/class-no_inherit_arg/index.html
diff --git a/GT/Foldl/Make/P/class-no_inherit_arg0/index.html b/GT/Foldl/Make/P/class-no_inherit_arg0/index.html
diff --git a/GT/Foldl/Make/P/class-with_inherited_attr/index.html b/GT/Foldl/Make/P/class-with_inherited_attr/index.html
diff --git a/GT/Foldl/Make/class-g/index.html b/GT/Foldl/Make/class-g/index.html
diff --git a/GT/Foldr/Make/Foldl/P/Intf/class-g/index.html b/GT/Foldr/Make/Foldl/P/Intf/class-g/index.html
diff --git a/GT/Foldr/Make/Foldl/P/class-generator/index.html b/GT/Foldr/Make/Foldl/P/class-generator/index.html
diff --git a/GT/Foldr/Make/Foldl/P/class-no_inherit_arg/index.html b/GT/Foldr/Make/Foldl/P/class-no_inherit_arg/index.html
diff --git a/GT/Foldr/Make/Foldl/P/class-no_inherit_arg0/index.html b/GT/Foldr/Make/Foldl/P/class-no_inherit_arg0/index.html
diff --git a/GT/Foldr/Make/Foldl/P/class-with_inherited_attr/index.html b/GT/Foldr/Make/Foldl/P/class-with_inherited_attr/index.html
diff --git a/GT/Foldr/Make/class-g/index.html b/GT/Foldr/Make/class-g/index.html
diff --git a/GT/GT/Format/index.html b/GT/GT/Format/index.html
diff --git a/GT/GT/Lazy/class-compare_t_t/index.html b/GT/GT/Lazy/class-compare_t_t/index.html
@@ -1,5 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>compare_t_t (GT.GT.Lazy.compare_t_t)</title><link rel="stylesheet" href="../../../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">GT</a> &#x00BB; <a href="../../index.html">GT</a> &#x00BB; <a href="../index.html">Lazy</a> &#x00BB; compare_t_t</nav><header class="odoc-preamble"><h1>Class <code><span>Lazy.compare_t_t</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec inherit"><code><span><span class="keyword">inherit</span> <a href="../class-t_t/index.html">t_t</a></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-t_t"><a href="#method-t_t" class="anchor"></a><code><span><span class="keyword">method</span> t_t : <span><span>&lt; t_t : <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <a href="../../index.html#type-comparison">comparison</a>.. &gt;</span> <span class="arrow">&#45;&gt;</span></span>
-  <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span>
-  <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span>
-  <a href="../../index.html#type-comparison">comparison</a></span></code></div></div></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>compare_t_t (GT.GT.Lazy.compare_t_t)</title><link rel="stylesheet" href="../../../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">GT</a> &#x00BB; <a href="../../index.html">GT</a> &#x00BB; <a href="../index.html">Lazy</a> &#x00BB; compare_t_t</nav><header class="odoc-preamble"><h1>Class <code><span>Lazy.compare_t_t</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec inherit"><code><span><span class="keyword">inherit</span> <a href="../class-t_t/index.html">t_t</a></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-t_t"><a href="#method-t_t" class="anchor"></a><code><span><span class="keyword">method</span> t_t : <span><span><span>[<span class="type-var">'a</span>, <span class="type-var">'self</span>]</span> <a href="#">compare_t_t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a2</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a3</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <a href="../../index.html#type-comparison">comparison</a></span></code></div></div></div></body></html>
diff --git a/GT/GT/Lazy/class-enum_t_t/index.html b/GT/GT/Lazy/class-enum_t_t/index.html
@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>enum_t_t (GT.GT.Lazy.enum_t_t)</title><link rel="stylesheet" href="../../../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">GT</a> &#x00BB; <a href="../../index.html">GT</a> &#x00BB; <a href="../index.html">Lazy</a> &#x00BB; enum_t_t</nav><header class="odoc-preamble"><h1>Class <code><span>Lazy.enum_t_t</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec inherit"><code><span><span class="keyword">inherit</span> <a href="../class-t_t/index.html">t_t</a></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-t_t"><a href="#method-t_t" class="anchor"></a><code><span><span class="keyword">method</span> t_t : <span><span>&lt; t_t : <span><a href="../../index.html#type-unit">unit</a> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <a href="../../index.html#type-int">int</a>.. &gt;</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="../../index.html#type-unit">unit</a> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <a href="../../index.html#type-int">int</a></span></code></div></div></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>enum_t_t (GT.GT.Lazy.enum_t_t)</title><link rel="stylesheet" href="../../../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">GT</a> &#x00BB; <a href="../../index.html">GT</a> &#x00BB; <a href="../index.html">Lazy</a> &#x00BB; enum_t_t</nav><header class="odoc-preamble"><h1>Class <code><span>Lazy.enum_t_t</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec inherit"><code><span><span class="keyword">inherit</span> <a href="../class-t_t/index.html">t_t</a></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-t_t"><a href="#method-t_t" class="anchor"></a><code><span><span class="keyword">method</span> t_t : <span><span><span>[<span class="type-var">'a</span>, <span class="type-var">'self</span>]</span> <a href="#">enum_t_t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><a href="../../index.html#type-unit">unit</a> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a0</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <a href="../../index.html#type-int">int</a></span></code></div></div></div></body></html>
diff --git a/GT/GT/Lazy/class-eq_t_t/index.html b/GT/GT/Lazy/class-eq_t_t/index.html
@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>eq_t_t (GT.GT.Lazy.eq_t_t)</title><link rel="stylesheet" href="../../../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">GT</a> &#x00BB; <a href="../../index.html">GT</a> &#x00BB; <a href="../index.html">Lazy</a> &#x00BB; eq_t_t</nav><header class="odoc-preamble"><h1>Class <code><span>Lazy.eq_t_t</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec inherit"><code><span><span class="keyword">inherit</span> <a href="../class-t_t/index.html">t_t</a></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-t_t"><a href="#method-t_t" class="anchor"></a><code><span><span class="keyword">method</span> t_t : <span><span>&lt; t_t : <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <a href="../../index.html#type-bool">bool</a>.. &gt;</span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <a href="../../index.html#type-bool">bool</a></span></code></div></div></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>eq_t_t (GT.GT.Lazy.eq_t_t)</title><link rel="stylesheet" href="../../../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">GT</a> &#x00BB; <a href="../../index.html">GT</a> &#x00BB; <a href="../index.html">Lazy</a> &#x00BB; eq_t_t</nav><header class="odoc-preamble"><h1>Class <code><span>Lazy.eq_t_t</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec inherit"><code><span><span class="keyword">inherit</span> <a href="../class-t_t/index.html">t_t</a></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-t_t"><a href="#method-t_t" class="anchor"></a><code><span><span class="keyword">method</span> t_t : <span><span><span>[<span class="type-var">'a</span>, <span class="type-var">'self</span>]</span> <a href="#">eq_t_t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a2</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a3</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <a href="../../index.html#type-bool">bool</a></span></code></div></div></div></body></html>
diff --git a/GT/GT/Lazy/class-eval_t_t/index.html b/GT/GT/Lazy/class-eval_t_t/index.html
@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>eval_t_t (GT.GT.Lazy.eval_t_t)</title><link rel="stylesheet" href="../../../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">GT</a> &#x00BB; <a href="../../index.html">GT</a> &#x00BB; <a href="../index.html">Lazy</a> &#x00BB; eval_t_t</nav><header class="odoc-preamble"><h1>Class <code><span>Lazy.eval_t_t</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec"><code><span> <span class="keyword">constraint</span> <span class="type-var">'h</span> = <span><span class="type-var">'sa</span> <a href="../index.html#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec inherit"><code><span><span class="keyword">inherit</span> <a href="../class-t_t/index.html">t_t</a></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-t_t"><a href="#method-t_t" class="anchor"></a><code><span><span class="keyword">method</span> t_t : <span><span>&lt; t_t : <span><span class="type-var">'env</span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'h</span>.. &gt;</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'env</span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'sa</span> <a href="../index.html#type-t">t</a></span></span></code></div></div></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>eval_t_t (GT.GT.Lazy.eval_t_t)</title><link rel="stylesheet" href="../../../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">GT</a> &#x00BB; <a href="../../index.html">GT</a> &#x00BB; <a href="../index.html">Lazy</a> &#x00BB; eval_t_t</nav><header class="odoc-preamble"><h1>Class <code><span>Lazy.eval_t_t</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec"><code><span> <span class="keyword">constraint</span> <span class="type-var">'b</span> = <span><span class="type-var">'sa1</span> <a href="../index.html#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec inherit"><code><span><span class="keyword">inherit</span> <a href="../class-t_t/index.html">t_t</a></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-t_t"><a href="#method-t_t" class="anchor"></a><code><span><span class="keyword">method</span> t_t : <span><span><span>[<span class="type-var">'a</span>, <span class="type-var">'sa</span>, <span class="type-var">'self</span>, <span class="type-var">'b</span>, <span class="type-var">'env</span>]</span> <a href="#">eval_t_t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'env1</span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a1</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'sa1</span> <a href="../index.html#type-t">t</a></span></span></code></div></div></div></body></html>
diff --git a/GT/GT/Lazy/class-foldl_t_t/index.html b/GT/GT/Lazy/class-foldl_t_t/index.html
@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>foldl_t_t (GT.GT.Lazy.foldl_t_t)</title><link rel="stylesheet" href="../../../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">GT</a> &#x00BB; <a href="../../index.html">GT</a> &#x00BB; <a href="../index.html">Lazy</a> &#x00BB; foldl_t_t</nav><header class="odoc-preamble"><h1>Class <code><span>Lazy.foldl_t_t</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec inherit"><code><span><span class="keyword">inherit</span> <a href="../class-t_t/index.html">t_t</a></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-t_t"><a href="#method-t_t" class="anchor"></a><code><span><span class="keyword">method</span> t_t : <span><span>&lt; t_t : <span><span class="type-var">'syn</span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'syn</span>.. &gt;</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'syn</span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'syn</span></span></code></div></div></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>foldl_t_t (GT.GT.Lazy.foldl_t_t)</title><link rel="stylesheet" href="../../../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">GT</a> &#x00BB; <a href="../../index.html">GT</a> &#x00BB; <a href="../index.html">Lazy</a> &#x00BB; foldl_t_t</nav><header class="odoc-preamble"><h1>Class <code><span>Lazy.foldl_t_t</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec inherit"><code><span><span class="keyword">inherit</span> <a href="../class-t_t/index.html">t_t</a></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-t_t"><a href="#method-t_t" class="anchor"></a><code><span><span class="keyword">method</span> t_t : <span><span><span>[<span class="type-var">'a</span>, <span class="type-var">'syn</span>, <span class="type-var">'self</span>]</span> <a href="#">foldl_t_t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'syn2</span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a1</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'syn3</span></span></code></div></div></div></body></html>