<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 values" rel=Appendix href="index_values.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Rtime" rel="Chapter" href="Rtime.html"><title>Rtime</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> time = float<br> <span class="keyword">type</span> duration = float<br> <span class="keyword">type</span> t<br> <span class="keyword">val</span> create : ?earlier:(<span class="constructor">Rtime</span>.t <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> (unit <span class="keywordsign">-></span> <span class="constructor">Rtime</span>.time) <span class="keywordsign">-></span> <span class="constructor">Rtime</span>.t<br> <span class="keyword">val</span> now : <span class="constructor">Rtime</span>.t <span class="keywordsign">-></span> <span class="constructor">Rtime</span>.time<br> <span class="keyword">val</span> wakeup : <span class="constructor">Rtime</span>.t <span class="keywordsign">-></span> <span class="constructor">Rtime</span>.duration option<br> <span class="keyword">val</span> progress : ?exec:bool <span class="keywordsign">-></span> <span class="constructor">Rtime</span>.t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> stamp :<br> ?stop:<span class="keywordsign">'</span>a <span class="constructor">React</span>.event <span class="keywordsign">-></span><br> (<span class="constructor">Rtime</span>.time <span class="keywordsign">-></span> <span class="constructor">Rtime</span>.time <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span><br> <span class="constructor">Rtime</span>.t <span class="keywordsign">-></span> <span class="constructor">Rtime</span>.time <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">React</span>.event<br> <span class="keyword">val</span> stamps :<br> ?stop:<span class="keywordsign">'</span>a <span class="constructor">React</span>.event <span class="keywordsign">-></span><br> ?start:<span class="constructor">Rtime</span>.time <span class="keywordsign">-></span><br> (<span class="constructor">Rtime</span>.time <span class="keywordsign">-></span> <span class="constructor">Rtime</span>.time <span class="keywordsign">-></span> <span class="keywordsign">'</span>b * <span class="constructor">Rtime</span>.time) <span class="keywordsign">-></span><br> <span class="constructor">Rtime</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">React</span>.event<br> <span class="keyword">val</span> delay_e :<br> ?stop:<span class="keywordsign">'</span>a <span class="constructor">React</span>.event <span class="keywordsign">-></span><br> <span class="constructor">Rtime</span>.t <span class="keywordsign">-></span> <span class="constructor">Rtime</span>.duration <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">React</span>.event <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">React</span>.event<br> <span class="keyword">val</span> delay_s :<br> ?eq:(<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span><br> ?stop:<span class="keywordsign">'</span>b <span class="constructor">React</span>.event <span class="keywordsign">-></span><br> <span class="constructor">Rtime</span>.t <span class="keywordsign">-></span> <span class="constructor">Rtime</span>.duration <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">React</span>.signal <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">React</span>.signal<br> <span class="keyword">end</span></code></body></html>