/usr/share/doc/libtyperep-camlp4-dev/html/api/type_Type_generic_intf.S.html is in libtyperep-camlp4-dev 113.00.00-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 | <html><head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Index of module types" rel=Appendix href="index_module_types.html">
<link title="Make_typename" rel="Chapter" href="Make_typename.html">
<link title="Named_intf" rel="Chapter" href="Named_intf.html">
<link title="Pa_typerep_conv" rel="Chapter" href="Pa_typerep_conv.html">
<link title="Std" rel="Chapter" href="Std.html">
<link title="Std_internal" rel="Chapter" href="Std_internal.html">
<link title="Type_abstract" rel="Chapter" href="Type_abstract.html">
<link title="Type_equal" rel="Chapter" href="Type_equal.html">
<link title="Type_generic" rel="Chapter" href="Type_generic.html">
<link title="Type_generic_intf" rel="Chapter" href="Type_generic_intf.html">
<link title="Typename" rel="Chapter" href="Typename.html">
<link title="Typerep_obj" rel="Chapter" href="Typerep_obj.html">
<link title="Typerepable" rel="Chapter" href="Typerepable.html">
<link title="Variant_and_record_intf" rel="Chapter" href="Variant_and_record_intf.html"><title>Type_generic_intf.S</title>
</head>
<body>
<code class="code"><span class="keyword">sig</span><br>
<span class="keyword">type</span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">module</span> <span class="keyword">type</span> <span class="constructor">S0</span> =<br>
<span class="keyword">sig</span><br>
<span class="keyword">type</span> t<br>
<span class="keyword">val</span> typerep_of_t : t <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t<br>
<span class="keyword">val</span> typename_of_t : t <span class="constructor">Typename</span>.t<br>
<span class="keyword">val</span> compute : t t<br>
<span class="keyword">end</span><br>
<span class="keyword">module</span> <span class="keyword">type</span> <span class="constructor">S1</span> =<br>
<span class="keyword">sig</span><br>
<span class="keyword">type</span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> typerep_of_t :<br>
<span class="keywordsign">'</span>a <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t<br>
<span class="keyword">val</span> typename_of_t : <span class="keywordsign">'</span>a <span class="constructor">Typename</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="constructor">Typename</span>.t<br>
<span class="keyword">val</span> compute : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t t<br>
<span class="keyword">end</span><br>
<span class="keyword">module</span> <span class="keyword">type</span> <span class="constructor">S2</span> =<br>
<span class="keyword">sig</span><br>
<span class="keyword">type</span> (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b) t<br>
<span class="keyword">val</span> typerep_of_t :<br>
<span class="keywordsign">'</span>a <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>b <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b) t <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t<br>
<span class="keyword">val</span> typename_of_t :<br>
<span class="keywordsign">'</span>a <span class="constructor">Typename</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">Typename</span>.t <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b) t <span class="constructor">Typename</span>.t<br>
<span class="keyword">val</span> compute : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b) t t<br>
<span class="keyword">end</span><br>
<span class="keyword">module</span> <span class="keyword">type</span> <span class="constructor">S3</span> =<br>
<span class="keyword">sig</span><br>
<span class="keyword">type</span> (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b, <span class="keywordsign">'</span>c) t<br>
<span class="keyword">val</span> typerep_of_t :<br>
<span class="keywordsign">'</span>a <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>b <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>c <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b, <span class="keywordsign">'</span>c) t <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t<br>
<span class="keyword">val</span> typename_of_t :<br>
<span class="keywordsign">'</span>a <span class="constructor">Typename</span>.t <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>b <span class="constructor">Typename</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>c <span class="constructor">Typename</span>.t <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b, <span class="keywordsign">'</span>c) t <span class="constructor">Typename</span>.t<br>
<span class="keyword">val</span> compute : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t <span class="keywordsign">-></span> <span class="keywordsign">'</span>c t <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b, <span class="keywordsign">'</span>c) t t<br>
<span class="keyword">end</span><br>
<span class="keyword">module</span> <span class="keyword">type</span> <span class="constructor">S4</span> =<br>
<span class="keyword">sig</span><br>
<span class="keyword">type</span> (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b, <span class="keywordsign">'</span>c, <span class="keywordsign">'</span>d) t<br>
<span class="keyword">val</span> typerep_of_t :<br>
<span class="keywordsign">'</span>a <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>b <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>c <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>d <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t <span class="keywordsign">-></span><br>
(<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b, <span class="keywordsign">'</span>c, <span class="keywordsign">'</span>d) t <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t<br>
<span class="keyword">val</span> typename_of_t :<br>
<span class="keywordsign">'</span>a <span class="constructor">Typename</span>.t <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>b <span class="constructor">Typename</span>.t <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>c <span class="constructor">Typename</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>d <span class="constructor">Typename</span>.t <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b, <span class="keywordsign">'</span>c, <span class="keywordsign">'</span>d) t <span class="constructor">Typename</span>.t<br>
<span class="keyword">val</span> compute : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t <span class="keywordsign">-></span> <span class="keywordsign">'</span>c t <span class="keywordsign">-></span> <span class="keywordsign">'</span>d t <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b, <span class="keywordsign">'</span>c, <span class="keywordsign">'</span>d) t t<br>
<span class="keyword">end</span><br>
<span class="keyword">module</span> <span class="keyword">type</span> <span class="constructor">S5</span> =<br>
<span class="keyword">sig</span><br>
<span class="keyword">type</span> (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b, <span class="keywordsign">'</span>c, <span class="keywordsign">'</span>d, <span class="keywordsign">'</span>e) t<br>
<span class="keyword">val</span> typerep_of_t :<br>
<span class="keywordsign">'</span>a <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>b <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>c <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>d <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>e <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t <span class="keywordsign">-></span><br>
(<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b, <span class="keywordsign">'</span>c, <span class="keywordsign">'</span>d, <span class="keywordsign">'</span>e) t <span class="constructor">Std_internal</span>.<span class="constructor">Typerep</span>.t<br>
<span class="keyword">val</span> typename_of_t :<br>
<span class="keywordsign">'</span>a <span class="constructor">Typename</span>.t <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>b <span class="constructor">Typename</span>.t <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>c <span class="constructor">Typename</span>.t <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>d <span class="constructor">Typename</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>e <span class="constructor">Typename</span>.t <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b, <span class="keywordsign">'</span>c, <span class="keywordsign">'</span>d, <span class="keywordsign">'</span>e) t <span class="constructor">Typename</span>.t<br>
<span class="keyword">val</span> compute :<br>
<span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t <span class="keywordsign">-></span> <span class="keywordsign">'</span>c t <span class="keywordsign">-></span> <span class="keywordsign">'</span>d t <span class="keywordsign">-></span> <span class="keywordsign">'</span>e t <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b, <span class="keywordsign">'</span>c, <span class="keywordsign">'</span>d, <span class="keywordsign">'</span>e) t t<br>
<span class="keyword">end</span><br>
<span class="keyword">end</span></code></body></html>
|