<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<link rel="Start" href="index.html">
<link rel="previous" href="GBroken.html">
<link rel="next" href="Gpointer.html">
<link rel="Up" href="index.html">
<title>LablGTK : Gaux</title>
</head>
<body>
<div class="navbar"><a href="GBroken.html">Previous</a>
<a href="index.html">Up</a>
<a href="Gpointer.html">Next</a>
</div>
<center><h1>Module <a href="type_Gaux.html">Gaux</a></h1></center>
<br>
<pre><span class="keyword">module</span> Gaux: <code class="code">sig</code> <a href="Gaux.html">..</a> <code class="code">end</code></pre><hr width="100%">
<pre><span class="keyword">val</span> <a name="VALmay"></a>may : <code class="type">f:('a -> 'b) -> 'a option -> unit</code></pre><pre><span class="keyword">val</span> <a name="VALmay_map"></a>may_map : <code class="type">f:('a -> 'b) -> 'a option -> 'b option</code></pre><pre><span class="keyword">val</span> <a name="VALdefault"></a>default : <code class="type">'a -> opt:'a option -> 'a</code></pre><pre><span class="keyword">val</span> <a name="VALmay_default"></a>may_default : <code class="type">('a -> 'b) -> 'a -> opt:'b option -> 'b</code></pre></body></html>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
0be7620be6a1578fbd49765844864a01
>
files
>
287
