this repo has no description
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

at main 30 lines 1.1 kB view raw
1<!DOCTYPE html> 2<html xmlns="http://www.w3.org/1999/xhtml"> 3 <head><title>DoubleInclude2 (Ocamlary.DoubleInclude3.DoubleInclude2)</title> 4 <meta charset="utf-8"/><link rel="stylesheet" href="odoc.css"/> 5 <meta name="generator" content="odoc %%VERSION%%"/> 6 <meta name="viewport" content="width=device-width,initial-scale=1.0"/> 7 <script src="highlight.pack.js"></script> 8 <script>hljs.initHighlightingOnLoad();</script> 9 </head> 10 <body class="odoc"> 11 <nav class="odoc-nav"><a href="Ocamlary-DoubleInclude3.html">Up</a> 12<a href="index.html">Index</a> &#x00BB; 13 <a href="Ocamlary.html">Ocamlary</a> &#x00BB; 14 <a href="Ocamlary-DoubleInclude3.html">DoubleInclude3</a> &#x00BB; 15 DoubleInclude2 16 </nav> 17 <header class="odoc-preamble"> 18 <h1>Module <code><span>DoubleInclude3.DoubleInclude2</span></code></h1> 19 </header> 20 <div class="odoc-content"> 21 <div class="odoc-spec"> 22 <div class="spec type anchored" id="type-double_include"> 23 <a href="#type-double_include" class="anchor"></a> 24 <code><span><span class="keyword">type</span> double_include</span> 25 </code> 26 </div> 27 </div> 28 </div> 29 </body> 30</html>