+++ /dev/null
-<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="Types" rel="Chapter" href="Types.html">
-<link title="Parser" rel="Chapter" href="Parser.html">
-<link title="Lexer" rel="Chapter" href="Lexer.html">
-<link title="Value" rel="Chapter" href="Value.html">
-<link title="Signal" rel="Chapter" href="Signal.html">
-<link title="Faustexp" rel="Chapter" href="Faustexp.html">
-<link title="Interpreter" rel="Chapter" href="Interpreter.html">
-<link title="Preprocess" rel="Chapter" href="Preprocess.html">
-<link title="Main" rel="Chapter" href="Main.html"><title>Faustexp.dim</title>
-</head>
-<body>
-<code class="code"><span class="keyword">let</span> <span class="keyword">rec</span> dim exp_faust = <br>
-<br>
-</code><table><tr><td></td><td><span class="comment">(** val dimension_constructor : ((int * int) -> (int * int) -> (int * int)) -> faust_exp
--> faust_exp -> dimension,
-returns the dimension tree of constructor(e1, e2).*)</span></td></tr></table><code class="code"><br>
- <span class="keyword">let</span> dimension_constructor = <span class="keyword">fun</span> constructor <span class="keywordsign">-></span> <span class="keyword">fun</span> e1 <span class="keywordsign">-></span> <span class="keyword">fun</span> e2 <span class="keywordsign">-></span><br>
- <span class="keyword">let</span> subtree1 = dim e1 <span class="keyword">in</span><br>
- <span class="keyword">let</span> subtree2 = dim e2 <span class="keyword">in</span><br>
- <span class="keyword">let</span> root = constructor (get_root subtree1) (get_root subtree2) <span class="keyword">in</span><br>
- <span class="constructor">Tree</span> (root, (subtree1, subtree2)) <span class="keyword">in</span><br>
-<br>
- <span class="keyword">match</span> exp_faust <span class="keyword">with</span><br>
- <span class="keywordsign">|</span><span class="constructor">Const</span> v <span class="keywordsign">-></span> <span class="constructor">End</span> (0, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Ident</span> s <span class="keywordsign">-></span> <br>
- (<br>
- <span class="keyword">match</span> s <span class="keyword">with</span><br>
- <span class="keywordsign">|</span><span class="constructor">Add</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (2, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Sup</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (2, 1) <br>
- <span class="keywordsign">|</span><span class="constructor">Mul</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (2, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Div</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (2, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Pass</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (1, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Stop</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (1, 0)<br>
- <span class="keywordsign">|</span><span class="constructor">Mem</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (1, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Delay</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (2, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Floor</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (1, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Int</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (1, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Sin</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (1, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Cos</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (1, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Atan</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (1, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Atantwo</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (2, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Sqrt</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (1, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Rdtable</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (3, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Mod</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (2, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Vectorize</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (2, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Concat</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (2, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Nth</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (2, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Serialize</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (1, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Larger</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (2, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Smaller</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (2, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Prefix</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (2, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Selecttwo</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (3, 1)<br>
- <span class="keywordsign">|</span><span class="constructor">Selectthree</span> <span class="keywordsign">-></span> <span class="constructor">End</span> (4, 1)<br>
- )<br>
-<br>
- <span class="keywordsign">|</span><span class="constructor">Par</span> (e1, e2) <span class="keywordsign">-></span> dimension_constructor d_par e1 e2<br>
- <span class="keywordsign">|</span><span class="constructor">Seq</span> (e1, e2) <span class="keywordsign">-></span> dimension_constructor d_seq e1 e2<br>
- <span class="keywordsign">|</span><span class="constructor">Split</span> (e1, e2) <span class="keywordsign">-></span> dimension_constructor d_split e1 e2<br>
- <span class="keywordsign">|</span><span class="constructor">Merge</span> (e1, e2) <span class="keywordsign">-></span> dimension_constructor d_merge e1 e2<br>
- <span class="keywordsign">|</span><span class="constructor">Rec</span> (e1, e2) <span class="keywordsign">-></span> dimension_constructor d_rec e1 e2</code></body></html>
\ No newline at end of file