/usr/share/doc/libtyperep-camlp4-dev/html/api/Variant_and_record_intf.M.Tag.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 | <!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="Variant_and_record_intf.M.Tag_internal.html">
<link rel="next" href="Variant_and_record_intf.M.Variant_internal.html">
<link rel="Up" href="Variant_and_record_intf.M.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>Variant_and_record_intf.M.Tag</title>
</head>
<body>
<div class="navbar"><a class="pre" href="Variant_and_record_intf.M.Tag_internal.html" title="Variant_and_record_intf.M.Tag_internal">Previous</a>
<a class="up" href="Variant_and_record_intf.M.html" title="Variant_and_record_intf.M">Up</a>
<a class="post" href="Variant_and_record_intf.M.Variant_internal.html" title="Variant_and_record_intf.M.Variant_internal">Next</a>
</div>
<h1>Module <a href="type_Variant_and_record_intf.M.Tag.html">Variant_and_record_intf.M.Tag</a></h1>
<pre><span class="keyword">module</span> Tag: <code class="code">sig</code> <a href="Variant_and_record_intf.M.Tag.html">..</a> <code class="code">end</code></pre><div class="info module top">
Witness of a tag, that is an item in a variant type, also called an "applied
variant Constructor"
<p>
The first parameter is the variant type, the second is the type of the tag
parameters. Example:
<p>
type t =
| A of (int * string)
| B of string
<p>
this type has two constructors. for each of them we'll have a corresponding <code class="code">Tag.t</code>
val tag_A : (t, (int * string)) Tag.t
val tag_B : (t, string) Tag.t<br>
</div>
<hr width="100%">
<pre><span class="keyword">include</span> Tag_internal</pre>
<pre><span id="VALlabel"><span class="keyword">val</span> label</span> : <code class="type">('a, 'b) t -> string</code></pre>
<pre><span id="VALarity"><span class="keyword">val</span> arity</span> : <code class="type">('a, 'b) t -> int</code></pre>
<pre><span id="VALindex"><span class="keyword">val</span> index</span> : <code class="type">('a, 'b) t -> int</code></pre>
<pre><span id="VALocaml_repr"><span class="keyword">val</span> ocaml_repr</span> : <code class="type">('a, 'b) t -> int</code></pre>
<pre><span id="VALcreate"><span class="keyword">val</span> create</span> : <code class="type">('a, 'b) t -> ('a, 'b) create</code></pre>
<pre><span id="VALtyid"><span class="keyword">val</span> tyid</span> : <code class="type">('a, 'b) t -> 'b <a href="Typename.html#TYPEt">Typename.t</a></code></pre>
<pre><span id="VALtraverse"><span class="keyword">val</span> traverse</span> : <code class="type">('a, 'b) t -> 'b X.t</code></pre>
<pre><span id="VALinternal_use_only"><span class="keyword">val</span> internal_use_only</span> : <code class="type">'a -> 'a</code></pre></body></html>
|