/usr/share/doc/libtyperep-camlp4-dev/html/api/Std.Typename.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 | <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<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 rel="previous" href="Std.Type_generic.html">
<link rel="next" href="Std.Make_typename.html">
<link rel="Up" href="Std.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>Std.Typename</title>
</head>
<body>
<div class="navbar"><a class="pre" href="Std.Type_generic.html" title="Std.Type_generic">Previous</a>
<a class="up" href="Std.html" title="Std">Up</a>
<a class="post" href="Std.Make_typename.html" title="Std.Make_typename">Next</a>
</div>
<h1>Module <a href="type_Std.Typename.html">Std.Typename</a></h1>
<pre><span class="keyword">module</span> Typename: <code class="type"><a href="Typename.html">Typename</a></code></pre><hr width="100%">
<pre><span id="TYPEt"><span class="keyword">type</span> <code class="type">'a</code> t</span> </pre>
<pre><span id="TYPEtypename"><span class="keyword">type</span> <code class="type">'a</code> typename</span> = <code class="type">'a <a href="Typename.html#TYPEt">t</a></code> </pre>
<pre><span id="VALcreate"><span class="keyword">val</span> create</span> : <code class="type">?name:string -> unit -> 'a <a href="Typename.html#TYPEt">t</a></code></pre>
<pre><span id="VALstatic"><span class="keyword">val</span> static</span> : <code class="type">unit <a href="Typename.html#TYPEt">t</a></code></pre>
<pre><span id="VALsame"><span class="keyword">val</span> same</span> : <code class="type">'a <a href="Typename.html#TYPEt">t</a> -> 'b <a href="Typename.html#TYPEt">t</a> -> bool</code></pre><div class="info ">
nominal type equality test<br>
</div>
<pre><span id="VALsame_witness"><span class="keyword">val</span> same_witness</span> : <code class="type">'a <a href="Typename.html#TYPEt">t</a> -> 'b <a href="Typename.html#TYPEt">t</a> -> ('a, 'b) <a href="Type_equal.html#TYPEt">Type_equal.t</a> option</code></pre>
<pre><span id="VALsame_witness_exn"><span class="keyword">val</span> same_witness_exn</span> : <code class="type">'a <a href="Typename.html#TYPEt">t</a> -> 'b <a href="Typename.html#TYPEt">t</a> -> ('a, 'b) <a href="Type_equal.html#TYPEt">Type_equal.t</a></code></pre>
<pre><span class="keyword">module</span> <a href="Typename.Key.html">Key</a>: <code class="code">sig</code> <a href="Typename.Key.html">..</a> <code class="code">end</code></pre><div class="info">
a runtime representation of fully applied type <code class="code">'a</code>
</div>
<pre><span id="VALkey"><span class="keyword">val</span> key</span> : <code class="type">'a <a href="Typename.html#TYPEt">t</a> -> <a href="Typename.Key.html#TYPEt">Key.t</a></code></pre>
<pre><span class="keyword">module</span> <a href="Typename.Uid.html">Uid</a>: <code class="code">sig</code> <a href="Typename.Uid.html">..</a> <code class="code">end</code></pre><div class="info">
an untyped runtime representation of non applied type
</div>
<pre><span id="VALuid"><span class="keyword">val</span> uid</span> : <code class="type">'a <a href="Typename.html#TYPEt">t</a> -> <a href="Typename.Uid.html#TYPEt">Uid.t</a></code></pre>
<pre><span id="VALname"><span class="keyword">val</span> name</span> : <code class="type">'a <a href="Typename.html#TYPEt">t</a> -> string</code></pre>
<pre><span class="keyword">module type</span> <a href="Typename.S0.html">S0</a> = <code class="code">sig</code> <a href="Typename.S0.html">..</a> <code class="code">end</code></pre>
<pre><span class="keyword">module type</span> <a href="Typename.S1.html">S1</a> = <code class="code">sig</code> <a href="Typename.S1.html">..</a> <code class="code">end</code></pre>
<pre><span class="keyword">module type</span> <a href="Typename.S2.html">S2</a> = <code class="code">sig</code> <a href="Typename.S2.html">..</a> <code class="code">end</code></pre>
<pre><span class="keyword">module type</span> <a href="Typename.S3.html">S3</a> = <code class="code">sig</code> <a href="Typename.S3.html">..</a> <code class="code">end</code></pre>
<pre><span class="keyword">module type</span> <a href="Typename.S4.html">S4</a> = <code class="code">sig</code> <a href="Typename.S4.html">..</a> <code class="code">end</code></pre>
<pre><span class="keyword">module type</span> <a href="Typename.S5.html">S5</a> = <code class="code">sig</code> <a href="Typename.S5.html">..</a> <code class="code">end</code></pre>
<pre><span class="keyword">module</span> <a href="Typename.Make0.html">Make0</a>: <div class="sig_block"><code class="code">functor (</code><code class="code">X</code><code class="code"> : </code><code class="type"><a href="Named_intf.S0.html">Named_intf.S0</a></code><code class="code">) -> </code><code class="type"><a href="Typename.S0.html">S0</a></code><code class="type">
with type t := X.t</code></div></pre>
<pre><span class="keyword">module</span> <a href="Typename.Make1.html">Make1</a>: <div class="sig_block"><code class="code">functor (</code><code class="code">X</code><code class="code"> : </code><code class="type"><a href="Named_intf.S1.html">Named_intf.S1</a></code><code class="code">) -> </code><code class="type"><a href="Typename.S1.html">S1</a></code><code class="type">
with type 'a t := 'a X.t</code></div></pre>
<pre><span class="keyword">module</span> <a href="Typename.Make2.html">Make2</a>: <div class="sig_block"><code class="code">functor (</code><code class="code">X</code><code class="code"> : </code><code class="type"><a href="Named_intf.S2.html">Named_intf.S2</a></code><code class="code">) -> </code><code class="type"><a href="Typename.S2.html">S2</a></code><code class="type">
with type ('a, 'b) t := ('a, 'b) X.t</code></div></pre>
<pre><span class="keyword">module</span> <a href="Typename.Make3.html">Make3</a>: <div class="sig_block"><code class="code">functor (</code><code class="code">X</code><code class="code"> : </code><code class="type"><a href="Named_intf.S3.html">Named_intf.S3</a></code><code class="code">) -> </code><code class="type"><a href="Typename.S3.html">S3</a></code><code class="type">
with type ('a, 'b, 'c) t := ('a, 'b, 'c) X.t</code></div></pre>
<pre><span class="keyword">module</span> <a href="Typename.Make4.html">Make4</a>: <div class="sig_block"><code class="code">functor (</code><code class="code">X</code><code class="code"> : </code><code class="type"><a href="Named_intf.S4.html">Named_intf.S4</a></code><code class="code">) -> </code><code class="type"><a href="Typename.S4.html">S4</a></code><code class="type">
with type ('a, 'b, 'c, 'd) t := ('a, 'b, 'c, 'd) X.t</code></div></pre>
<pre><span class="keyword">module</span> <a href="Typename.Make5.html">Make5</a>: <div class="sig_block"><code class="code">functor (</code><code class="code">X</code><code class="code"> : </code><code class="type"><a href="Named_intf.S5.html">Named_intf.S5</a></code><code class="code">) -> </code><code class="type"><a href="Typename.S5.html">S5</a></code><code class="type">
with type ('a, 'b, 'c, 'd, 'e) t := ('a, 'b, 'c, 'd, 'e) X.t</code></div></pre>
<pre><span class="keyword">module</span> <a href="Typename.Table.html">Table</a>: <div class="sig_block"><code class="code">functor (</code><code class="code">X</code><code class="code"> : </code><code class="code">sig</code><div class="sig_block">
<pre><span id="TYPEt"><span class="keyword">type</span> <code class="type">'a</code> t</span> </pre>
</div><code class="code">end</code><code class="code">) -> </code><code class="code">sig</code> <a href="Typename.Table.html">..</a> <code class="code">end</code></div></pre>
<pre><span class="keyword">module</span> <a href="Typename.Same_witness_exn_1.html">Same_witness_exn_1</a>: <div class="sig_block"><code class="code">functor (</code><code class="code">A</code><code class="code"> : </code><code class="type"><a href="Typename.S1.html">S1</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">B</code><code class="code"> : </code><code class="type"><a href="Typename.S1.html">S1</a></code><code class="code">) -> </code><code class="code">sig</code> <a href="Typename.Same_witness_exn_1.html">..</a> <code class="code">end</code></div></div></pre>
<pre><span class="keyword">module</span> <a href="Typename.Same_witness_exn_2.html">Same_witness_exn_2</a>: <div class="sig_block"><code class="code">functor (</code><code class="code">A</code><code class="code"> : </code><code class="type"><a href="Typename.S2.html">S2</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">B</code><code class="code"> : </code><code class="type"><a href="Typename.S2.html">S2</a></code><code class="code">) -> </code><code class="code">sig</code> <a href="Typename.Same_witness_exn_2.html">..</a> <code class="code">end</code></div></div></pre>
<pre><span class="keyword">module</span> <a href="Typename.Same_witness_exn_3.html">Same_witness_exn_3</a>: <div class="sig_block"><code class="code">functor (</code><code class="code">A</code><code class="code"> : </code><code class="type"><a href="Typename.S3.html">S3</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">B</code><code class="code"> : </code><code class="type"><a href="Typename.S3.html">S3</a></code><code class="code">) -> </code><code class="code">sig</code> <a href="Typename.Same_witness_exn_3.html">..</a> <code class="code">end</code></div></div></pre>
<pre><span class="keyword">module</span> <a href="Typename.Same_witness_exn_4.html">Same_witness_exn_4</a>: <div class="sig_block"><code class="code">functor (</code><code class="code">A</code><code class="code"> : </code><code class="type"><a href="Typename.S4.html">S4</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">B</code><code class="code"> : </code><code class="type"><a href="Typename.S4.html">S4</a></code><code class="code">) -> </code><code class="code">sig</code> <a href="Typename.Same_witness_exn_4.html">..</a> <code class="code">end</code></div></div></pre>
<pre><span class="keyword">module</span> <a href="Typename.Same_witness_exn_5.html">Same_witness_exn_5</a>: <div class="sig_block"><code class="code">functor (</code><code class="code">A</code><code class="code"> : </code><code class="type"><a href="Typename.S5.html">S5</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">B</code><code class="code"> : </code><code class="type"><a href="Typename.S5.html">S5</a></code><code class="code">) -> </code><code class="code">sig</code> <a href="Typename.Same_witness_exn_5.html">..</a> <code class="code">end</code></div></div></pre></body></html>
|