Codebase list ocaml-odoc / b5e7d29
Update upstream source from tag 'upstream/2.1.1' Update to upstream version '2.1.1' with Debian dir 5100660c52fa4020e6cfd78857cf0fc992e5b596 Ralf Treinen 1 year, 8 months ago
381 changed file(s) with 470 addition(s) and 394 deletion(s). Raw diff Collapse all Expand all
+1
-0
.ocamlformat-ignore less more
00 src/compat/*
1 src/document/*.cppo.ml
12 src/loader/cmi.ml
23 src/loader/cmi.mli
34 src/loader/cmt.ml
+5
-0
CHANGES.md less more
0 2.1.1
1 -----
2
3 - OCaml 5.0 compatibility (@dra27, #873)
4
05 2.1.0
16 -----
27
+6
-0
debian/changelog less more
0 ocaml-odoc (2.1.1+dfsg-1) unstable; urgency=medium
1
2 * New upstream release.
3
4 -- Ralf Treinen <treinen@debian.org> Mon, 05 Sep 2022 21:05:05 +0200
5
06 ocaml-odoc (2.1.0+dfsg-1) unstable; urgency=medium
17
28 * Team upload
+1
-1
dune-project less more
00 (lang dune 2.7)
11 (name odoc)
2 (version 2.1.0)
2 (version 2.1.1)
33 (cram enable)
+2
-2
odoc.opam less more
0 version: "2.1.0"
0 version: "2.1.1"
11 opam-version: "2.0"
22
33 homepage: "http://github.com/ocaml/odoc"
3636 "fmt"
3737
3838 "ocamlfind" {with-test}
39 "yojson" {with-test}
39 "yojson" {< "2.0.0" & with-test}
4040 ("ocaml" {< "4.04.1" & with-test} | "sexplib0" {with-test})
4141 "conf-jq" {with-test}
4242
+28
-0
src/compat/compatcmdliner.ml less more
0 (* Compatibility module for Cmdliner *)
1
2 (* Cmdliner 1.1.0 has deprecated the 'traditional' Term and Arg modules,
3 but is only available for OCaml 4.08 and above. This compatibility
4 module will work on 1.0.4 and 1.1.0 for all supported versions of
5 the OCaml compiler without causing deprecation alerts *)
6
7 [@@@ocaml.warning "-3"]
8 module Term = struct
9 include Cmdliner.Term
10
11 type info2 = Cmdliner.Term.info
12 let info = info
13 let name = name
14 let eval_choice = eval_choice
15 let eval = eval
16 let exit = Cmdliner.Term.exit
17 end
18
19 module Arg = struct
20 include Cmdliner.Arg
21
22 type 'a converter2 = 'a Cmdliner.Arg.converter
23 let env_var = env_var
24 let pconv = pconv
25 end
26 [@@@ocaml.warning "+3"]
27
+3
-0
src/compat/dune less more
0 (library
1 (name compatcmdliner)
2 (libraries cmdliner))
+1
-0
src/document/codefmt.ml less more
0 open! Compat
01 open Types
12
23 type out = Source.t
+24
-0
src/document/compat.cppo.ml less more
0 #if OCAML_VERSION >= (5, 0, 0)
1 module Format = struct
2 include Format
3
4 type formatter_tag_functions = {
5 mark_open_tag : tag -> string;
6 mark_close_tag : tag -> string;
7 print_open_tag : tag -> unit;
8 print_close_tag : tag -> unit;
9 }
10
11 let pp_set_formatter_tag_functions formatter fns =
12 let {mark_open_tag = mot; mark_close_tag = mct;
13 print_open_tag = pot; print_close_tag = pct} = fns in
14 let wrap f v = function String_tag s -> f s | _ -> v in
15 let stag_fns = {
16 mark_open_stag = wrap mot "";
17 mark_close_stag = wrap mct "";
18 print_open_stag = wrap pot ();
19 print_close_stag = wrap pct ()
20 } in
21 Format.pp_set_formatter_stag_functions formatter stag_fns
22 end
23 #endif
+9
-0
src/document/dune less more
0 (rule
1 (targets compat.ml)
2 (deps
3 (:x compat.cppo.ml))
4 (action
5 (chdir
6 %{workspace_root}
7 (run %{bin:cppo} -V OCAML:%{ocaml_version} %{x} -o %{targets}))))
8
09 (library
110 (name odoc_document)
211 (public_name odoc.document)
+1
-1
src/html/tree.ml less more
4343 Html.link ~rel:[ `Stylesheet ] ~href:odoc_css_uri ();
4444 Html.meta ~a:[ Html.a_charset "utf-8" ] ();
4545 Html.meta
46 ~a:[ Html.a_name "generator"; Html.a_content "odoc 2.1.0" ]
46 ~a:[ Html.a_name "generator"; Html.a_content "odoc 2.1.1" ]
4747 ();
4848 Html.meta
4949 ~a:
+1
-1
src/odoc/bin/dune less more
11 (name main)
22 (package odoc)
33 (public_name odoc)
4 (libraries cmdliner odoc_model odoc_odoc)
4 (libraries compatcmdliner odoc_model odoc_odoc)
55 (flags
66 (:standard -open StdLabels))
77 (instrumentation
+16
-16
src/odoc/bin/main.ml less more
33 output the result to. *)
44
55 open Odoc_odoc
6 open Cmdliner
7
8 let convert_syntax : Odoc_document.Renderer.syntax Arg.converter =
6 open Compatcmdliner
7
8 let convert_syntax : Odoc_document.Renderer.syntax Arg.converter2 =
99 let syntax_parser str =
1010 match str with
1111 | "ml" | "ocaml" -> `Ok Odoc_document.Renderer.OCaml
1717 in
1818 (syntax_parser, syntax_printer)
1919
20 let convert_directory ?(create = false) () : Fs.Directory.t Arg.converter =
20 let convert_directory ?(create = false) () : Fs.Directory.t Arg.converter2 =
2121 let dir_parser, dir_printer = Arg.string in
2222 let odoc_dir_parser str =
2323 let () = if create then Fs.Directory.(mkdir_p (of_string str)) in
109109
110110 val cmd : unit Term.t
111111
112 val info : Term.info
112 val info : Term.info2
113113 end = struct
114114 let has_page_prefix file =
115115 file |> Fs.File.basename |> Fs.File.to_string
249249 module Odoc_link : sig
250250 val cmd : unit Term.t
251251
252 val info : Term.info
252 val info : Term.info2
253253 end = struct
254254 let get_output_file ~output_file ~input =
255255 match output_file with
296296 end
297297
298298 module Make_renderer (R : S) : sig
299 val process : unit Term.t * Term.info
300
301 val targets : unit Term.t * Term.info
302
303 val generate : unit Term.t * Term.info
299 val process : unit Term.t * Term.info2
300
301 val targets : unit Term.t * Term.info2
302
303 val generate : unit Term.t * Term.info2
304304 end = struct
305305 let input =
306306 let doc = "Input file" in
405405 module Odoc_html_url : sig
406406 val cmd : unit Term.t
407407
408 val info : Term.info
408 val info : Term.info2
409409 end = struct
410410 let root_url =
411411 let doc =
433433 module Odoc_latex_url : sig
434434 val cmd : unit Term.t
435435
436 val info : Term.info
436 val info : Term.info2
437437 end = struct
438438 let reference =
439439 let doc = "The reference to be resolved and whose url to be generated." in
472472 Arg.(value & flag (info ~doc [ "indent" ]))
473473
474474 (* Very basic validation and normalization for URI paths. *)
475 let convert_uri : Odoc_html.Tree.uri Arg.converter =
475 let convert_uri : Odoc_html.Tree.uri Arg.converter2 =
476476 let parser str =
477477 if String.length str = 0 then `Error "invalid URI"
478478 else
552552 module Html_fragment : sig
553553 val cmd : unit Term.t
554554
555 val info : Term.info
555 val info : Term.info2
556556 end = struct
557557 let html_fragment directories xref_base_uri output_file input_file
558558 warnings_options =
798798 (String.concat ~sep:", " available_subcommands)
799799 in
800800 ( Term.(const print_default $ const ()),
801 Term.info ~version:"2.1.0" "odoc" )
801 Term.info ~version:"2.1.1" "odoc" )
802802 in
803803 match Term.eval_choice ~err:Format.err_formatter default subcommands with
804804 | `Error _ ->
+1
-1
src/odoc/etc/odoc.css less more
00 @charset "UTF-8";
11 /* Copyright (c) 2016 The odoc contributors. All rights reserved.
22 Distributed under the ISC license, see terms at the end of the file.
3 odoc 2.1.0 */
3 odoc 2.1.1 */
44
55 /* Fonts */
66 @import url('https://fonts.googleapis.com/css?family=Fira+Mono:400,500');
+1
-1
src/odoc/odoc_file.ml less more
2323 type t = { content : content; warnings : Odoc_model.Error.t list }
2424
2525 (** Written at the top of the files. Checked when loading. *)
26 let magic = "odoc-2.1.0"
26 let magic = "odoc-2.1.1"
2727
2828 (** Exceptions while saving are allowed to leak. *)
2929 let save_unit file (root : Root.t) (t : t) =
+1
-1
test/generators/html/Alias-X.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>X (Alias.X)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Alias.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Alias (Alias)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Bugs.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Bugs (Bugs)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Bugs_post_406-class-let_open'.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>let_open' (Bugs_post_406.let_open')</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Bugs_post_406-class-type-let_open.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>let_open (Bugs_post_406.let_open)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Bugs_post_406.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Bugs_post_406 (Bugs_post_406)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Bugs_pre_410.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Bugs_pre_410 (Bugs_pre_410)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Class-class-empty_virtual'.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>empty_virtual' (Class.empty_virtual')</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Class-class-mutually'.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>mutually' (Class.mutually')</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Class-class-polymorphic'.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>polymorphic' (Class.polymorphic')</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Class-class-recursive'.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>recursive' (Class.recursive')</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Class-class-type-empty.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>empty (Class.empty)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Class-class-type-empty_virtual.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>empty_virtual (Class.empty_virtual)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Class-class-type-mutually.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>mutually (Class.mutually)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Class-class-type-polymorphic.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>polymorphic (Class.polymorphic)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Class-class-type-recursive.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>recursive (Class.recursive)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Class.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Class (Class)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/External.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>External (External)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor-F1-argument-1-Arg.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Arg (Functor.F1.1-Arg)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor-F1.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>F1 (Functor.F1)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor-F2-argument-1-Arg.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Arg (Functor.F2.1-Arg)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor-F2.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>F2 (Functor.F2)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor-F3-argument-1-Arg.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Arg (Functor.F3.1-Arg)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor-F3.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>F3 (Functor.F3)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor-F4-argument-1-Arg.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Arg (Functor.F4.1-Arg)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor-F4.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>F4 (Functor.F4)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor-F5.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>F5 (Functor.F5)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor-module-type-S.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S (Functor.S)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor-module-type-S1-argument-1-_.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>_ (Functor.S1.1-_)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor-module-type-S1.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S1 (Functor.S1)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Functor (Functor)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor2-X-argument-1-Y.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Y (Functor2.X.1-Y)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor2-X-argument-2-Z.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Z (Functor2.X.2-Z)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor2-X.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>X (Functor2.X)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor2-module-type-S.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S (Functor2.S)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor2-module-type-XF-argument-1-Y.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Y (Functor2.XF.1-Y)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor2-module-type-XF-argument-2-Z.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Z (Functor2.XF.2-Z)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor2-module-type-XF.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>XF (Functor2.XF)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Functor2.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Functor2 (Functor2)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Include-module-type-Dorminant_Module.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Dorminant_Module (Include.Dorminant_Module)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Include-module-type-Inherent_Module.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Inherent_Module (Include.Inherent_Module)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Include-module-type-Inlined.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Inlined (Include.Inlined)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Include-module-type-Not_inlined.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Not_inlined (Include.Not_inlined)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Include-module-type-Not_inlined_and_closed.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Not_inlined_and_closed (Include.Not_inlined_and_closed)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Include-module-type-Not_inlined_and_opened.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Not_inlined_and_opened (Include.Not_inlined_and_opened)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Include.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Include (Include)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Include2-X.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>X (Include2.X)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Include2-Y.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Y (Include2.Y)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Include2-Y_include_doc.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Y_include_doc (Include2.Y_include_doc)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Include2-Y_include_synopsis.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Y_include_synopsis (Include2.Y_include_synopsis)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Include2.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Include2 (Include2)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Include_sections-module-type-Something.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Something (Include_sections.Something)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Include_sections.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Include_sections (Include_sections)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Interlude.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Interlude (Interlude)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Labels-A.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>A (Labels.A)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Labels-class-c.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>c (Labels.c)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Labels-class-type-cs.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>cs (Labels.cs)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Labels-module-type-S.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S (Labels.S)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Labels.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Labels (Labels)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Markup-X.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>X (Markup.X)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Markup-Y.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Y (Markup.Y)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Markup.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Markup (Markup)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module-M'.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M' (Module.M')</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module-Mutually.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Mutually (Module.Mutually)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module-Recursive.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Recursive (Module.Recursive)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module-module-type-S-M.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M (Module.S.M)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module-module-type-S.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S (Module.S)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module-module-type-S3-M.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M (Module.S3.M)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module-module-type-S3.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S3 (Module.S3)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module-module-type-S4-M.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M (Module.S4.M)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module-module-type-S4.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S4 (Module.S4)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module-module-type-S5-M.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M (Module.S5.M)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module-module-type-S5.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S5 (Module.S5)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module-module-type-S6-M.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M (Module.S6.M)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module-module-type-S6.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S6 (Module.S6)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module-module-type-S7.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S7 (Module.S7)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module-module-type-S8.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S8 (Module.S8)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module-module-type-S9.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S9 (Module.S9)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Module (Module)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_alias-module-type-A.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>A (Module_type_alias.A)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_alias-module-type-B-argument-1-C.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>C (Module_type_alias.B.1-C)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_alias-module-type-B.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>B (Module_type_alias.B)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_alias-module-type-E-argument-1-F.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>F (Module_type_alias.E.1-F)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_alias-module-type-E-argument-2-C.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>C (Module_type_alias.E.2-C)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_alias-module-type-E.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>E (Module_type_alias.E)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_alias-module-type-G-argument-1-H.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>H (Module_type_alias.G.1-H)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_alias-module-type-G.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>G (Module_type_alias.G)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_alias.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Module_type_alias (Module_type_alias)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Basic-module-type-a-M.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M (Module_type_subst.Basic.a.M)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Basic-module-type-a.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>a (Module_type_subst.Basic.a)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Basic-module-type-c-M.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M (Module_type_subst.Basic.c.M)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Basic-module-type-c.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>c (Module_type_subst.Basic.c)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Basic-module-type-u-module-type-T.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>T (Module_type_subst.Basic.u.T)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Basic-module-type-u.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>u (Module_type_subst.Basic.u)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Basic-module-type-u2-M.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M (Module_type_subst.Basic.u2.M)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Basic-module-type-u2-module-type-T.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>T (Module_type_subst.Basic.u2.T)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Basic-module-type-u2.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>u2 (Module_type_subst.Basic.u2)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Basic-module-type-with_.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>with_ (Module_type_subst.Basic.with_)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Basic-module-type-with_2-M.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M (Module_type_subst.Basic.with_2.M)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Basic-module-type-with_2-module-type-T.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>T (Module_type_subst.Basic.with_2.T)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Basic-module-type-with_2.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>with_2 (Module_type_subst.Basic.with_2)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Basic.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Basic (Module_type_subst.Basic)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Local-module-type-local.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>local (Module_type_subst.Local.local)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Local-module-type-s.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>s (Module_type_subst.Local.s)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Local.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Local (Module_type_subst.Local)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Nested-module-type-nested-N-module-type-t.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>t (Module_type_subst.Nested.nested.N.t)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Nested-module-type-nested-N.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>N (Module_type_subst.Nested.nested.N)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Nested-module-type-nested.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>nested (Module_type_subst.Nested.nested)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Nested-module-type-with_-N.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>N (Module_type_subst.Nested.with_.N)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Nested-module-type-with_.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>with_ (Module_type_subst.Nested.with_)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Nested-module-type-with_subst-N.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>N (Module_type_subst.Nested.with_subst.N)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Nested-module-type-with_subst.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>with_subst (Module_type_subst.Nested.with_subst)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Nested.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Nested (Module_type_subst.Nested)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Structural-module-type-u-module-type-a-module-type-b-module-type-c.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>c (Module_type_subst.Structural.u.a.b.c)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Structural-module-type-u-module-type-a-module-type-b.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>b (Module_type_subst.Structural.u.a.b)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Structural-module-type-u-module-type-a.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>a (Module_type_subst.Structural.u.a)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Structural-module-type-u.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>u (Module_type_subst.Structural.u)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Structural-module-type-w-module-type-a-module-type-b-module-type-c.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>c (Module_type_subst.Structural.w.a.b.c)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Structural-module-type-w-module-type-a-module-type-b.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>b (Module_type_subst.Structural.w.a.b)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Structural-module-type-w-module-type-a.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>a (Module_type_subst.Structural.w.a)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Structural-module-type-w.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>w (Module_type_subst.Structural.w)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-Structural.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Structural (Module_type_subst.Structural)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst-module-type-s.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>s (Module_type_subst.s)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Module_type_subst.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Module_type_subst (Module_type_subst)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Nested-F-argument-1-Arg1.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Arg1 (Nested.F.1-Arg1)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Nested-F-argument-2-Arg2.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Arg2 (Nested.F.2-Arg2)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Nested-F.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>F (Nested.F)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Nested-X.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>X (Nested.X)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Nested-class-inherits.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>inherits (Nested.inherits)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Nested-class-z.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>z (Nested.z)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Nested-module-type-Y.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Y (Nested.Y)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Nested.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Nested (Nested)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Aliases-E.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>E (Ocamlary.Aliases.E)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Aliases-Foo-A.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>A (Ocamlary.Aliases.Foo.A)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Aliases-Foo-B.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>B (Ocamlary.Aliases.Foo.B)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Aliases-Foo-C.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>C (Ocamlary.Aliases.Foo.C)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Aliases-Foo-D.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>D (Ocamlary.Aliases.Foo.D)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Aliases-Foo-E.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>E (Ocamlary.Aliases.Foo.E)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Aliases-Foo.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Foo (Ocamlary.Aliases.Foo)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Aliases-P1-Y.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Y (Ocamlary.Aliases.P1.Y)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Aliases-P1.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>P1 (Ocamlary.Aliases.P1)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Aliases-P2-Z.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Z (Ocamlary.Aliases.P2.Z)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Aliases-P2.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>P2 (Ocamlary.Aliases.P2)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Aliases-Std.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Std (Ocamlary.Aliases.Std)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Aliases.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Aliases (Ocamlary.Aliases)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Buffer.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Buffer (Ocamlary.Buffer)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-CanonicalTest-Base-List.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>List (Ocamlary.CanonicalTest.Base.List)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-CanonicalTest-Base.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Base (Ocamlary.CanonicalTest.Base)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-CanonicalTest-Base_Tests-C.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>C (Ocamlary.CanonicalTest.Base_Tests.C)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-CanonicalTest-Base_Tests.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Base_Tests (Ocamlary.CanonicalTest.Base_Tests)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-CanonicalTest-List_modif.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>List_modif (Ocamlary.CanonicalTest.List_modif)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-CanonicalTest.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>CanonicalTest (Ocamlary.CanonicalTest)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-CollectionModule-InnerModuleA-InnerModuleA'.html less more
22 <head>
33 <title>InnerModuleA' (Ocamlary.CollectionModule.InnerModuleA.InnerModuleA')
44 </title><link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5 <meta name="generator" content="odoc 2.1.0"/>
5 <meta name="generator" content="odoc 2.1.1"/>
66 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
77 <script src="highlight.pack.js"></script>
88 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-CollectionModule-InnerModuleA-module-type-InnerModuleTypeA'.html less more
44 InnerModuleTypeA'
55 (Ocamlary.CollectionModule.InnerModuleA.InnerModuleTypeA')
66 </title><link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
7 <meta name="generator" content="odoc 2.1.0"/>
7 <meta name="generator" content="odoc 2.1.1"/>
88 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
99 <script src="highlight.pack.js"></script>
1010 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-CollectionModule-InnerModuleA.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>InnerModuleA (Ocamlary.CollectionModule.InnerModuleA)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-CollectionModule.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>CollectionModule (Ocamlary.CollectionModule)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep1-X-Y-class-c.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>c (Ocamlary.Dep1.X.Y.c)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep1-X-Y.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Y (Ocamlary.Dep1.X.Y)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep1-X.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>X (Ocamlary.Dep1.X)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep1-module-type-S-class-c.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>c (Ocamlary.Dep1.S.c)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep1-module-type-S.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S (Ocamlary.Dep1.S)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep1.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Dep1 (Ocamlary.Dep1)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep11-module-type-S-class-c.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>c (Ocamlary.Dep11.S.c)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep11-module-type-S.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S (Ocamlary.Dep11.S)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep11.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Dep11 (Ocamlary.Dep11)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep12-argument-1-Arg.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Arg (Ocamlary.Dep12.1-Arg)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep12.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Dep12 (Ocamlary.Dep12)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep13-class-c.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>c (Ocamlary.Dep13.c)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep13.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Dep13 (Ocamlary.Dep13)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep2-A.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>A (Ocamlary.Dep2.A)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep2-argument-1-Arg-X.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>X (Ocamlary.Dep2.1-Arg.X)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep2-argument-1-Arg.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Arg (Ocamlary.Dep2.1-Arg)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep2.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Dep2 (Ocamlary.Dep2)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep3.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Dep3 (Ocamlary.Dep3)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep4-X.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>X (Ocamlary.Dep4.X)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep4-module-type-S-X.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>X (Ocamlary.Dep4.S.X)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep4-module-type-S-Y.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Y (Ocamlary.Dep4.S.Y)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep4-module-type-S.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S (Ocamlary.Dep4.S)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep4-module-type-T.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>T (Ocamlary.Dep4.T)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep4.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Dep4 (Ocamlary.Dep4)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep5-Z.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Z (Ocamlary.Dep5.Z)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep5-argument-1-Arg-module-type-S-Y.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Y (Ocamlary.Dep5.1-Arg.S.Y)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep5-argument-1-Arg-module-type-S.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S (Ocamlary.Dep5.1-Arg.S)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep5-argument-1-Arg.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Arg (Ocamlary.Dep5.1-Arg)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep5.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Dep5 (Ocamlary.Dep5)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep6-X-Y.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Y (Ocamlary.Dep6.X.Y)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep6-X.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>X (Ocamlary.Dep6.X)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep6-module-type-S.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S (Ocamlary.Dep6.S)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep6-module-type-T-Y.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Y (Ocamlary.Dep6.T.Y)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep6-module-type-T.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>T (Ocamlary.Dep6.T)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep6.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Dep6 (Ocamlary.Dep6)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep7-M.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M (Ocamlary.Dep7.M)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep7-argument-1-Arg-X.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>X (Ocamlary.Dep7.1-Arg.X)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep7-argument-1-Arg-module-type-T.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>T (Ocamlary.Dep7.1-Arg.T)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep7-argument-1-Arg.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Arg (Ocamlary.Dep7.1-Arg)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep7.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Dep7 (Ocamlary.Dep7)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep8-module-type-T.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>T (Ocamlary.Dep8.T)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep8.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Dep8 (Ocamlary.Dep8)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep9-argument-1-X.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>X (Ocamlary.Dep9.1-X)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Dep9.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Dep9 (Ocamlary.Dep9)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-DoubleInclude1-DoubleInclude2.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>DoubleInclude2 (Ocamlary.DoubleInclude1.DoubleInclude2)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-DoubleInclude1.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>DoubleInclude1 (Ocamlary.DoubleInclude1)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-DoubleInclude3-DoubleInclude2.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>DoubleInclude2 (Ocamlary.DoubleInclude3.DoubleInclude2)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-DoubleInclude3.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>DoubleInclude3 (Ocamlary.DoubleInclude3)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Empty.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Empty (Ocamlary.Empty)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-ExtMod.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>ExtMod (Ocamlary.ExtMod)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-FunctorTypeOf-argument-1-Collection-InnerModuleA-InnerModuleA'.html less more
44 InnerModuleA'
55 (Ocamlary.FunctorTypeOf.1-Collection.InnerModuleA.InnerModuleA')
66 </title><link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
7 <meta name="generator" content="odoc 2.1.0"/>
7 <meta name="generator" content="odoc 2.1.1"/>
88 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
99 <script src="highlight.pack.js"></script>
1010 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-FunctorTypeOf-argument-1-Collection-InnerModuleA-module-type-InnerModuleTypeA'.html less more
44 InnerModuleTypeA'
55 (Ocamlary.FunctorTypeOf.1-Collection.InnerModuleA.InnerModuleTypeA')
66 </title><link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
7 <meta name="generator" content="odoc 2.1.0"/>
7 <meta name="generator" content="odoc 2.1.1"/>
88 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
99 <script src="highlight.pack.js"></script>
1010 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-FunctorTypeOf-argument-1-Collection-InnerModuleA.html less more
22 <head>
33 <title>InnerModuleA (Ocamlary.FunctorTypeOf.1-Collection.InnerModuleA)
44 </title><link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5 <meta name="generator" content="odoc 2.1.0"/>
5 <meta name="generator" content="odoc 2.1.1"/>
66 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
77 <script src="highlight.pack.js"></script>
88 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-FunctorTypeOf-argument-1-Collection.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Collection (Ocamlary.FunctorTypeOf.1-Collection)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-FunctorTypeOf.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>FunctorTypeOf (Ocamlary.FunctorTypeOf)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-IncludeInclude1-IncludeInclude2_M.html less more
22 <head>
33 <title>IncludeInclude2_M (Ocamlary.IncludeInclude1.IncludeInclude2_M)
44 </title><link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5 <meta name="generator" content="odoc 2.1.0"/>
5 <meta name="generator" content="odoc 2.1.1"/>
66 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
77 <script src="highlight.pack.js"></script>
88 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-IncludeInclude1-module-type-IncludeInclude2.html less more
22 <head>
33 <title>IncludeInclude2 (Ocamlary.IncludeInclude1.IncludeInclude2)</title>
44 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5 <meta name="generator" content="odoc 2.1.0"/>
5 <meta name="generator" content="odoc 2.1.1"/>
66 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
77 <script src="highlight.pack.js"></script>
88 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-IncludeInclude1.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>IncludeInclude1 (Ocamlary.IncludeInclude1)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-IncludeInclude2_M.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>IncludeInclude2_M (Ocamlary.IncludeInclude2_M)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-IncludedA.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>IncludedA (Ocamlary.IncludedA)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-M.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M (Ocamlary.M)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-ModuleWithSignature.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>ModuleWithSignature (Ocamlary.ModuleWithSignature)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-ModuleWithSignatureAlias.html less more
22 <head>
33 <title>ModuleWithSignatureAlias (Ocamlary.ModuleWithSignatureAlias)</title>
44 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5 <meta name="generator" content="odoc 2.1.0"/>
5 <meta name="generator" content="odoc 2.1.1"/>
66 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
77 <script src="highlight.pack.js"></script>
88 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-One.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>One (Ocamlary.One)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Only_a_module.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Only_a_module (Ocamlary.Only_a_module)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Recollection-InnerModuleA-InnerModuleA'.html less more
22 <head>
33 <title>InnerModuleA' (Ocamlary.Recollection.InnerModuleA.InnerModuleA')
44 </title><link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5 <meta name="generator" content="odoc 2.1.0"/>
5 <meta name="generator" content="odoc 2.1.1"/>
66 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
77 <script src="highlight.pack.js"></script>
88 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Recollection-InnerModuleA-module-type-InnerModuleTypeA'.html less more
33 <title>
44 InnerModuleTypeA' (Ocamlary.Recollection.InnerModuleA.InnerModuleTypeA')
55 </title><link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
6 <meta name="generator" content="odoc 2.1.0"/>
6 <meta name="generator" content="odoc 2.1.1"/>
77 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
88 <script src="highlight.pack.js"></script>
99 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Recollection-InnerModuleA.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>InnerModuleA (Ocamlary.Recollection.InnerModuleA)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Recollection-argument-1-C-InnerModuleA-InnerModuleA'.html less more
22 <head>
33 <title>InnerModuleA' (Ocamlary.Recollection.1-C.InnerModuleA.InnerModuleA')
44 </title><link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5 <meta name="generator" content="odoc 2.1.0"/>
5 <meta name="generator" content="odoc 2.1.1"/>
66 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
77 <script src="highlight.pack.js"></script>
88 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Recollection-argument-1-C-InnerModuleA-module-type-InnerModuleTypeA'.html less more
44 InnerModuleTypeA'
55 (Ocamlary.Recollection.1-C.InnerModuleA.InnerModuleTypeA')
66 </title><link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
7 <meta name="generator" content="odoc 2.1.0"/>
7 <meta name="generator" content="odoc 2.1.1"/>
88 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
99 <script src="highlight.pack.js"></script>
1010 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Recollection-argument-1-C-InnerModuleA.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>InnerModuleA (Ocamlary.Recollection.1-C.InnerModuleA)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Recollection-argument-1-C.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>C (Ocamlary.Recollection.1-C)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-Recollection.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Recollection (Ocamlary.Recollection)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-With10-module-type-T-M.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M (Ocamlary.With10.T.M)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-With10-module-type-T.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>T (Ocamlary.With10.T)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-With10.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>With10 (Ocamlary.With10)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-With2-module-type-S.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S (Ocamlary.With2.S)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-With2.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>With2 (Ocamlary.With2)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-With3-N.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>N (Ocamlary.With3.N)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-With3.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>With3 (Ocamlary.With3)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-With4-N.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>N (Ocamlary.With4.N)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-With4.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>With4 (Ocamlary.With4)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-With5-N.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>N (Ocamlary.With5.N)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-With5-module-type-S.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S (Ocamlary.With5.S)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-With5.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>With5 (Ocamlary.With5)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-With6-module-type-T-M.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M (Ocamlary.With6.T.M)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-With6-module-type-T.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>T (Ocamlary.With6.T)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-With6.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>With6 (Ocamlary.With6)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-With7-argument-1-X.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>X (Ocamlary.With7.1-X)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-With7.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>With7 (Ocamlary.With7)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-With9-module-type-S.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S (Ocamlary.With9.S)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-With9.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>With9 (Ocamlary.With9)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-class-empty_class.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>empty_class (Ocamlary.empty_class)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-class-one_method_class.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>one_method_class (Ocamlary.one_method_class)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-class-param_class.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>param_class (Ocamlary.param_class)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-class-two_method_class.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>two_method_class (Ocamlary.two_method_class)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-A-Q-InnerModuleA-InnerModuleA'.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>InnerModuleA' (Ocamlary.A.Q.InnerModuleA.InnerModuleA')</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-A-Q-InnerModuleA-module-type-InnerModuleTypeA'.html less more
22 <head>
33 <title>InnerModuleTypeA' (Ocamlary.A.Q.InnerModuleA.InnerModuleTypeA')
44 </title><link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5 <meta name="generator" content="odoc 2.1.0"/>
5 <meta name="generator" content="odoc 2.1.1"/>
66 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
77 <script src="highlight.pack.js"></script>
88 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-A-Q-InnerModuleA.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>InnerModuleA (Ocamlary.A.Q.InnerModuleA)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-A-Q.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Q (Ocamlary.A.Q)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-A.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>A (Ocamlary.A)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-B-Q-InnerModuleA-InnerModuleA'.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>InnerModuleA' (Ocamlary.B.Q.InnerModuleA.InnerModuleA')</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-B-Q-InnerModuleA-module-type-InnerModuleTypeA'.html less more
22 <head>
33 <title>InnerModuleTypeA' (Ocamlary.B.Q.InnerModuleA.InnerModuleTypeA')
44 </title><link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5 <meta name="generator" content="odoc 2.1.0"/>
5 <meta name="generator" content="odoc 2.1.1"/>
66 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
77 <script src="highlight.pack.js"></script>
88 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-B-Q-InnerModuleA.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>InnerModuleA (Ocamlary.B.Q.InnerModuleA)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-B-Q.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Q (Ocamlary.B.Q)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-B.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>B (Ocamlary.B)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-C-Q-InnerModuleA-InnerModuleA'.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>InnerModuleA' (Ocamlary.C.Q.InnerModuleA.InnerModuleA')</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-C-Q-InnerModuleA-module-type-InnerModuleTypeA'.html less more
22 <head>
33 <title>InnerModuleTypeA' (Ocamlary.C.Q.InnerModuleA.InnerModuleTypeA')
44 </title><link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5 <meta name="generator" content="odoc 2.1.0"/>
5 <meta name="generator" content="odoc 2.1.1"/>
66 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
77 <script src="highlight.pack.js"></script>
88 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-C-Q-InnerModuleA.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>InnerModuleA (Ocamlary.C.Q.InnerModuleA)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-C-Q.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Q (Ocamlary.C.Q)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-C.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>C (Ocamlary.C)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-COLLECTION-InnerModuleA-InnerModuleA'.html less more
22 <head>
33 <title>InnerModuleA' (Ocamlary.COLLECTION.InnerModuleA.InnerModuleA')
44 </title><link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5 <meta name="generator" content="odoc 2.1.0"/>
5 <meta name="generator" content="odoc 2.1.1"/>
66 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
77 <script src="highlight.pack.js"></script>
88 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-COLLECTION-InnerModuleA-module-type-InnerModuleTypeA'.html less more
33 <title>
44 InnerModuleTypeA' (Ocamlary.COLLECTION.InnerModuleA.InnerModuleTypeA')
55 </title><link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
6 <meta name="generator" content="odoc 2.1.0"/>
6 <meta name="generator" content="odoc 2.1.1"/>
77 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
88 <script src="highlight.pack.js"></script>
99 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-COLLECTION-InnerModuleA.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>InnerModuleA (Ocamlary.COLLECTION.InnerModuleA)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-COLLECTION.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>COLLECTION (Ocamlary.COLLECTION)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-Dep10.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Dep10 (Ocamlary.Dep10)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-Empty.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Empty (Ocamlary.Empty)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-EmptySig.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>EmptySig (Ocamlary.EmptySig)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-IncludeInclude2.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>IncludeInclude2 (Ocamlary.IncludeInclude2)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-IncludeModuleType.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>IncludeModuleType (Ocamlary.IncludeModuleType)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-IncludedB.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>IncludedB (Ocamlary.IncludedB)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-M.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M (Ocamlary.M)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-MMM-C-InnerModuleA-InnerModuleA'.html less more
22 <head>
33 <title>InnerModuleA' (Ocamlary.MMM.C.InnerModuleA.InnerModuleA')</title>
44 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5 <meta name="generator" content="odoc 2.1.0"/>
5 <meta name="generator" content="odoc 2.1.1"/>
66 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
77 <script src="highlight.pack.js"></script>
88 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-MMM-C-InnerModuleA-module-type-InnerModuleTypeA'.html less more
22 <head>
33 <title>InnerModuleTypeA' (Ocamlary.MMM.C.InnerModuleA.InnerModuleTypeA')
44 </title><link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5 <meta name="generator" content="odoc 2.1.0"/>
5 <meta name="generator" content="odoc 2.1.1"/>
66 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
77 <script src="highlight.pack.js"></script>
88 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-MMM-C-InnerModuleA.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>InnerModuleA (Ocamlary.MMM.C.InnerModuleA)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-MMM-C.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>C (Ocamlary.MMM.C)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-MMM.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>MMM (Ocamlary.MMM)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-MissingComment.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>MissingComment (Ocamlary.MissingComment)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-NestedInclude1-module-type-NestedInclude2.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>NestedInclude2 (Ocamlary.NestedInclude1.NestedInclude2)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-NestedInclude1.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>NestedInclude1 (Ocamlary.NestedInclude1)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-NestedInclude2.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>NestedInclude2 (Ocamlary.NestedInclude2)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-RECOLLECTION.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>RECOLLECTION (Ocamlary.RECOLLECTION)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-RecollectionModule-InnerModuleA-InnerModuleA'.html less more
33 <title>
44 InnerModuleA' (Ocamlary.RecollectionModule.InnerModuleA.InnerModuleA')
55 </title><link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
6 <meta name="generator" content="odoc 2.1.0"/>
6 <meta name="generator" content="odoc 2.1.1"/>
77 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
88 <script src="highlight.pack.js"></script>
99 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-RecollectionModule-InnerModuleA-module-type-InnerModuleTypeA'.html less more
44 InnerModuleTypeA'
55 (Ocamlary.RecollectionModule.InnerModuleA.InnerModuleTypeA')
66 </title><link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
7 <meta name="generator" content="odoc 2.1.0"/>
7 <meta name="generator" content="odoc 2.1.1"/>
88 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
99 <script src="highlight.pack.js"></script>
1010 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-RecollectionModule-InnerModuleA.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>InnerModuleA (Ocamlary.RecollectionModule.InnerModuleA)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-RecollectionModule.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>RecollectionModule (Ocamlary.RecollectionModule)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-SigForMod-Inner-module-type-Empty.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Empty (Ocamlary.SigForMod.Inner.Empty)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-SigForMod-Inner.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Inner (Ocamlary.SigForMod.Inner)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-SigForMod.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>SigForMod (Ocamlary.SigForMod)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-SuperSig-module-type-EmptySig.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>EmptySig (Ocamlary.SuperSig.EmptySig)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-SuperSig-module-type-One.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>One (Ocamlary.SuperSig.One)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-SuperSig-module-type-SubSigA-SubSigAMod.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>SubSigAMod (Ocamlary.SuperSig.SubSigA.SubSigAMod)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-SuperSig-module-type-SubSigA.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>SubSigA (Ocamlary.SuperSig.SubSigA)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-SuperSig-module-type-SubSigB.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>SubSigB (Ocamlary.SuperSig.SubSigB)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-SuperSig-module-type-SuperSig.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>SuperSig (Ocamlary.SuperSig.SuperSig)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-SuperSig.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>SuperSig (Ocamlary.SuperSig)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-ToInclude-IncludedA.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>IncludedA (Ocamlary.ToInclude.IncludedA)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-ToInclude-module-type-IncludedB.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>IncludedB (Ocamlary.ToInclude.IncludedB)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-ToInclude.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>ToInclude (Ocamlary.ToInclude)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-TypeExt.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>TypeExt (Ocamlary.TypeExt)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-TypeExtPruned.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>TypeExtPruned (Ocamlary.TypeExtPruned)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-With1-M.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M (Ocamlary.With1.M)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-With1.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>With1 (Ocamlary.With1)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-With11-N.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>N (Ocamlary.With11.N)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-With11.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>With11 (Ocamlary.With11)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-With8-M-N.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>N (Ocamlary.With8.M.N)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-With8-M-module-type-S.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S (Ocamlary.With8.M.S)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-With8-M.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M (Ocamlary.With8.M)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary-module-type-With8.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>With8 (Ocamlary.With8)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Ocamlary.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Ocamlary (Ocamlary)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Recent-X.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>X (Recent.X)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Recent-Z-Y-X.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>X (Recent.Z.Y.X)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Recent-Z-Y.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Y (Recent.Z.Y)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Recent-Z.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Z (Recent.Z)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Recent-module-type-PolyS.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>PolyS (Recent.PolyS)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Recent-module-type-S.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S (Recent.S)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Recent-module-type-S1-argument-1-_.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>_ (Recent.S1.1-_)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Recent-module-type-S1.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S1 (Recent.S1)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Recent.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Recent (Recent)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Recent_impl-B.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>B (Recent_impl.B)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Recent_impl-Foo-A.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>A (Recent_impl.Foo.A)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Recent_impl-Foo-B.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>B (Recent_impl.Foo.B)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Recent_impl-Foo.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Foo (Recent_impl.Foo)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Recent_impl-module-type-S-F-argument-1-_.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>_ (Recent_impl.S.F.1-_)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Recent_impl-module-type-S-F.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>F (Recent_impl.S.F)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Recent_impl-module-type-S-X.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>X (Recent_impl.S.X)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Recent_impl-module-type-S.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>S (Recent_impl.S)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Recent_impl.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Recent_impl (Recent_impl)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Section.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Section (Section)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Stop-N.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>N (Stop.N)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Stop.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Stop (Stop)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Stop_dead_link_doc-Foo.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Foo (Stop_dead_link_doc.Foo)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Stop_dead_link_doc.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Stop_dead_link_doc (Stop_dead_link_doc)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Toplevel_comments-Alias.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Alias (Toplevel_comments.Alias)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Toplevel_comments-Comments_on_open-M.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M (Toplevel_comments.Comments_on_open.M)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Toplevel_comments-Comments_on_open.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Comments_on_open (Toplevel_comments.Comments_on_open)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Toplevel_comments-Include_inline'.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Include_inline' (Toplevel_comments.Include_inline')</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Toplevel_comments-Include_inline.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Include_inline (Toplevel_comments.Include_inline)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Toplevel_comments-M''.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M'' (Toplevel_comments.M'')</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Toplevel_comments-M'.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M' (Toplevel_comments.M')</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Toplevel_comments-M.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>M (Toplevel_comments.M)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Toplevel_comments-Ref_in_synopsis.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Ref_in_synopsis (Toplevel_comments.Ref_in_synopsis)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Toplevel_comments-class-c1.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>c1 (Toplevel_comments.c1)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Toplevel_comments-class-c2.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>c2 (Toplevel_comments.c2)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Toplevel_comments-class-type-ct.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>ct (Toplevel_comments.ct)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Toplevel_comments-module-type-Include_inline_T'.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Include_inline_T' (Toplevel_comments.Include_inline_T')</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Toplevel_comments-module-type-Include_inline_T.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Include_inline_T (Toplevel_comments.Include_inline_T)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Toplevel_comments-module-type-T.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>T (Toplevel_comments.T)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Toplevel_comments.html less more
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Toplevel_comments (Toplevel_comments)</title>
33 <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
4 <meta name="generator" content="odoc 2.1.0"/>
4 <meta name="generator" content="odoc 2.1.1"/>
55 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
66 <script src="highlight.pack.js"></script>
77 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Type-module-type-X.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>X (Type.X)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Type.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Type (Type)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/Val.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>Val (Val)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/mld.html less more
00 <!DOCTYPE html>
11 <html xmlns="http://www.w3.org/1999/xhtml">
22 <head><title>mld (mld)</title><link rel="stylesheet" href="odoc.css"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
3 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
44 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
55 <script src="highlight.pack.js"></script>
66 <script>hljs.initHighlightingOnLoad();</script>
+1
-1
test/generators/html/odoc.css less more
00 @charset "UTF-8";
11 /* Copyright (c) 2016 The odoc contributors. All rights reserved.
22 Distributed under the ISC license, see terms at the end of the file.
3 odoc 2.1.0 */
3 odoc 2.1.1 */
44
55 /* Fonts */
66 @import url('https://fonts.googleapis.com/css?family=Fira+Mono:400,500');
+0
-2
test/integration/simple_dune_project.t/run.t less more
55 _build/default/_doc/_html/dune_odoc_test/Dune_odoc_test/Bar/index.html
66 _build/default/_doc/_html/dune_odoc_test/Dune_odoc_test/Foo/index.html
77 _build/default/_doc/_html/dune_odoc_test/Dune_odoc_test/index.html
8 _build/default/_doc/_html/dune_odoc_test/Dune_odoc_test__Bar/index.html
9 _build/default/_doc/_html/dune_odoc_test/Dune_odoc_test__Foo/index.html
108 _build/default/_doc/_html/dune_odoc_test/index.html
119 _build/default/_doc/_html/index.html
+2
-1
test/odoc_print/dune less more
55 (executable
66 (name odoc_print)
77 (modules odoc_print)
8 (libraries odoc_odoc cmdliner type_desc_to_yojson odoc_model_desc))
8 (libraries odoc_odoc cmdliner type_desc_to_yojson odoc_model_desc
9 compatcmdliner))
+2
-2
test/odoc_print/odoc_print.ml less more
190190 | None -> Ok ())
191191 | _ -> Ok ()))
192192
193 open Cmdliner
193 open Compatcmdliner
194194
195195 let reference =
196196 let doc = "reference to print" in
210210 | `Ok (Error (`Msg msg)) ->
211211 Printf.eprintf "Error: %s\n" msg;
212212 exit 1
213 | cmdliner_error -> Term.exit cmdliner_error
213 | (`Version | `Help | `Error _) as x -> Term.exit x
+1
-1
test/xref2/canonical_hidden_module.t/run.t less more
7171 <!DOCTYPE html>
7272 <html xmlns="http://www.w3.org/1999/xhtml">
7373 <head><title>Test (Test)</title><link rel="stylesheet" href="../odoc.css"/>
74 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/>
74 <meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/>
7575 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
7676 <script src="../highlight.pack.js"></script>
7777 <script>hljs.initHighlightingOnLoad();</script>
+2
-2
test/xref2/labels/labels.t/run.t less more
4444 <html xmlns="http://www.w3.org/1999/xhtml">
4545 <head><title>N (test.Test.N)</title>
4646 <link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/>
47 <meta name="generator" content="odoc 2.1.0"/>
47 <meta name="generator" content="odoc 2.1.1"/>
4848 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
4949 <script src="../../../highlight.pack.js"></script>
5050 <script>hljs.initHighlightingOnLoad();</script>
7777 <html xmlns="http://www.w3.org/1999/xhtml">
7878 <head><title>Test (test.Test)</title>
7979 <link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/>
80 <meta name="generator" content="odoc 2.1.0"/>
80 <meta name="generator" content="odoc 2.1.1"/>
8181 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
8282 <script src="../../highlight.pack.js"></script>
8383 <script>hljs.initHighlightingOnLoad();</script>
+3
-3
test/xref2/module_preamble.t/run.t less more
3232 <html xmlns="http://www.w3.org/1999/xhtml">
3333 <head><title>A (test.A)</title>
3434 <link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/>
35 <meta name="generator" content="odoc 2.1.0"/>
35 <meta name="generator" content="odoc 2.1.1"/>
3636 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
3737 <script src="../../highlight.pack.js"></script>
3838 <script>hljs.initHighlightingOnLoad();</script>
7070 <html xmlns="http://www.w3.org/1999/xhtml">
7171 <head><title>B (test.A.B)</title>
7272 <link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/>
73 <meta name="generator" content="odoc 2.1.0"/>
73 <meta name="generator" content="odoc 2.1.1"/>
7474 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
7575 <script src="../../../highlight.pack.js"></script>
7676 <script>hljs.initHighlightingOnLoad();</script>
110110 <html xmlns="http://www.w3.org/1999/xhtml">
111111 <head><title>A__b (test.A__b)</title>
112112 <link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/>
113 <meta name="generator" content="odoc 2.1.0"/>
113 <meta name="generator" content="odoc 2.1.1"/>
114114 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
115115 <script src="../../highlight.pack.js"></script>
116116 <script>hljs.initHighlightingOnLoad();</script>