Deploying to gh-pages from @ 7e4220d 🚀

Author: gares

_sources/playground.rst.txt

@@ -15,7 +15,7 @@
   unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pretty_e_parens"><a href="#val-pretty_e_parens" class="anchor"></a><code><span><span class="keyword">val</span> pretty_e_parens : <span><span class="label">lvl</span>:int <span class="arrow">&#45;&gt;</span></span> <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-e">e</a> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pretty_e_loc"><a href="#val-pretty_e_loc" class="anchor"></a><code><span><span class="keyword">val</span> pretty_e_loc : <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-e">e</a> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pretty_e"><a href="#val-pretty_e" class="anchor"></a><code><span><span class="keyword">val</span> pretty_e : <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-e">e</a> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-of_simple_type"><a href="#val-of_simple_type" class="anchor"></a><code><span><span class="keyword">val</span> of_simple_type : <span><a href="SimpleType/index.html#type-t_">SimpleType.t_</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t_">t_</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-of_simple_type_loc"><a href="#val-of_simple_type_loc" class="anchor"></a><code><span><span class="keyword">val</span> of_simple_type_loc : <span><a href="SimpleType/index.html#type-t">SimpleType.t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-e">e</a></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-v_"><a href="#type-v_" class="anchor"></a><code><span><span class="keyword">type</span> v_</span><span> = </span></code><ol><li id="type-v_.Lam" class="def variant constructor anchored"><a href="#type-v_.Lam" class="anchor"></a><code><span>| </span><span><span class="constructor">Lam</span> <span class="keyword">of</span> <a href="../../../Elpi_parser/Ast/Func/index.html#type-t">F.t</a> * <a href="#type-v_">v_</a></span></code></li><li id="type-v_.Ty" class="def variant constructor anchored"><a href="#type-v_.Ty" class="anchor"></a><code><span>| </span><span><span class="constructor">Ty</span> <span class="keyword">of</span> <a href="#type-e">e</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pp_v_"><a href="#val-pp_v_" class="anchor"></a><code><span><span class="keyword">val</span> pp_v_ : 
   <span><span class="xref-unresolved">Ppx_deriving_runtime</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span>
   <span><a href="#type-v_">v_</a> <span class="arrow">&#45;&gt;</span></span>
-  <span class="xref-unresolved">Ppx_deriving_runtime</span>.unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-show_v_"><a href="#val-show_v_" class="anchor"></a><code><span><span class="keyword">val</span> show_v_ : <span><a href="#type-v_">v_</a> <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Ppx_deriving_runtime</span>.string</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span><span> = </span><span>{</span></code><ol><li id="type-t.name" class="def record field anchored"><a href="#type-t.name" class="anchor"></a><code><span>name : <a href="../../../Elpi_parser/Ast/Func/index.html#type-t">F.t</a>;</span></code></li><li id="type-t.value" class="def record field anchored"><a href="#type-t.value" class="anchor"></a><code><span>value : <a href="#type-v_">v_</a>;</span></code></li><li id="type-t.nparams" class="def record field anchored"><a href="#type-t.nparams" class="anchor"></a><code><span>nparams : int;</span></code></li><li id="type-t.loc" class="def record field anchored"><a href="#type-t.loc" class="anchor"></a><code><span>loc : <a href="../../../Elpi_util/Util/Loc/index.html#type-t">Elpi_util.Util.Loc.t</a>;</span></code></li><li id="type-t.index" class="def record field anchored"><a href="#type-t.index" class="anchor"></a><code><span>index : <span><a href="../../../Elpi_parser/Ast/Structured/index.html#type-predicate_indexing">Elpi_parser.Ast.Structured.predicate_indexing</a> option</span>;</span></code></li><li id="type-t.availability" class="def record field anchored"><a href="#type-t.availability" class="anchor"></a><code><span>availability : <a href="../../../Elpi_parser/Ast/Structured/index.html#type-symbol_availability">Elpi_parser.Ast.Structured.symbol_availability</a>;</span></code></li></ol><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pp"><a href="#val-pp" class="anchor"></a><code><span><span class="keyword">val</span> pp : 
+  <span class="xref-unresolved">Ppx_deriving_runtime</span>.unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-show_v_"><a href="#val-show_v_" class="anchor"></a><code><span><span class="keyword">val</span> show_v_ : <span><a href="#type-v_">v_</a> <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Ppx_deriving_runtime</span>.string</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span><span> = </span><span>{</span></code><ol><li id="type-t.name" class="def record field anchored"><a href="#type-t.name" class="anchor"></a><code><span>name : <a href="../../../Elpi_parser/Ast/Func/index.html#type-t">F.t</a>;</span></code></li><li id="type-t.value" class="def record field anchored"><a href="#type-t.value" class="anchor"></a><code><span>value : <a href="#type-v_">v_</a>;</span></code></li><li id="type-t.nparams" class="def record field anchored"><a href="#type-t.nparams" class="anchor"></a><code><span>nparams : int;</span></code></li><li id="type-t.loc" class="def record field anchored"><a href="#type-t.loc" class="anchor"></a><code><span>loc : <a href="../../../Elpi_util/Util/Loc/index.html#type-t">Elpi_util.Util.Loc.t</a>;</span></code></li><li id="type-t.index" class="def record field anchored"><a href="#type-t.index" class="anchor"></a><code><span>index : <span><a href="../../../Elpi_parser/Ast/Structured/index.html#type-predicate_indexing">Elpi_parser.Ast.Structured.predicate_indexing</a> option</span>;</span></code></li><li id="type-t.availability" class="def record field anchored"><a href="#type-t.availability" class="anchor"></a><code><span>availability : <a href="../../../Elpi_parser/Ast/Structured/index.html#type-symbol_availability">Elpi_parser.Ast.Structured.symbol_availability</a>;</span></code></li><li id="type-t.occur_check" class="def record field anchored"><a href="#type-t.occur_check" class="anchor"></a><code><span>occur_check : bool;</span></code></li></ol><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pp"><a href="#val-pp" class="anchor"></a><code><span><span class="keyword">val</span> pp : 
   <span><span class="xref-unresolved">Ppx_deriving_runtime</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span>
   <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span>
   <span class="xref-unresolved">Ppx_deriving_runtime</span>.unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-show"><a href="#val-show" class="anchor"></a><code><span><span class="keyword">val</span> show : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Ppx_deriving_runtime</span>.string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pretty"><a href="#val-pretty" class="anchor"></a><code><span><span class="keyword">val</span> pretty : <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-eqt"><a href="#val-eqt" class="anchor"></a><code><span><span class="keyword">val</span> eqt : <span><a href="../TypingEnv/index.html#type-t">TypingEnv.t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="../ScopeContext/index.html#type-ctx">ScopeContext.ctx</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-e">e</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-e">e</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-eq"><a href="#val-eq" class="anchor"></a><code><span><span class="keyword">val</span> eq : <span><a href="../TypingEnv/index.html#type-t">TypingEnv.t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="../ScopeContext/index.html#type-ctx">ScopeContext.ctx</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-v_">v_</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-v_">v_</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span><span class="keyword">val</span> equal : <span><a href="../TypingEnv/index.html#type-t">TypingEnv.t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'b</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'c</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-smart_map_scoped_loc_ty"><a href="#val-smart_map_scoped_loc_ty" class="anchor"></a><code><span><span class="keyword">val</span> smart_map_scoped_loc_ty : <span><span>(<span><a href="../../../Elpi_parser/Ast/Func/index.html#type-t">F.t</a> <span class="arrow">&#45;&gt;</span></span> <a href="../../../Elpi_parser/Ast/Func/index.html#type-t">F.t</a>)</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-e">e</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-e">e</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-smart_map_scoped_ty"><a href="#val-smart_map_scoped_ty" class="anchor"></a><code><span><span class="keyword">val</span> smart_map_scoped_ty : <span><span>(<span><a href="../../../Elpi_parser/Ast/Func/index.html#type-t">F.t</a> <span class="arrow">&#45;&gt;</span></span> <a href="../../../Elpi_parser/Ast/Func/index.html#type-t">F.t</a>)</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t_">t_</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t_">t_</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-smart_map_tye"><a href="#val-smart_map_tye" class="anchor"></a><code><span><span class="keyword">val</span> smart_map_tye : <span><span>(<span><a href="../../../Elpi_parser/Ast/Func/index.html#type-t">F.t</a> <span class="arrow">&#45;&gt;</span></span> <a href="../../../Elpi_parser/Ast/Func/index.html#type-t">F.t</a>)</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-v_">v_</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-v_">v_</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-smart_map"><a href="#val-smart_map" class="anchor"></a><code><span><span class="keyword">val</span> smart_map : <span><span>(<span><a href="../../../Elpi_parser/Ast/Func/index.html#type-t">F.t</a> <span class="arrow">&#45;&gt;</span></span> <a href="../../../Elpi_parser/Ast/Func/index.html#type-t">F.t</a>)</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div></div></body></html>