diff options
Diffstat (limited to '2025/ocaml/docs/Main.html')
| -rw-r--r-- | 2025/ocaml/docs/Main.html | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/2025/ocaml/docs/Main.html b/2025/ocaml/docs/Main.html deleted file mode 100644 index 11d7257..0000000 --- a/2025/ocaml/docs/Main.html +++ /dev/null @@ -1,18 +0,0 @@ -<!DOCTYPE html> -<html> -<head> -<link rel="stylesheet" href="style.css" type="text/css"> -<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> -<meta name="viewport" content="width=device-width, initial-scale=1"> -<link rel="Start" href="index.html"> -<link rel="Up" href="index.html"> -<link title="Index of modules" rel=Appendix href="index_modules.html"> -<link title="Main" rel="Chapter" href="Main.html"><title>Main</title> -</head> -<body> -<div class="navbar"> <a class="up" href="index.html" title="Index">Up</a> - </div> -<h1>Module <a href="type_Main.html">Main</a></h1> - -<pre><span id="MODULEMain"><span class="keyword">module</span> Main</span>: <code class="code">sig</code> <a href="Main.html">..</a> <code class="code">end</code></pre><hr width="100%"> -</body></html> |