--- branches/pure-cfg/src/compiler/IL/gen/high-il.spec	2011/03/18 14:45:04	648
+++ branches/pure-cfg/src/compiler/IL/gen/high-il.spec	2011/03/18 15:47:56	649
@@ -44,15 +44,15 @@
 FloorToInt : : 1 :
 #
 # image/field operations
-Kernel     : Kernel.kernel * int  : 0 :
+Kernel     : Kernel.kernel * int  : 0 : Kernel<h, k>, where h is the kernel and k is level of differentiation
 LoadImage  : ImageInfo.info	  : 1 : image-file loading
-Field	   : int		  : 2 : convolution; args are image, kernel
+Field	   : int		  : 2 : Field<d> is d-dimension reconstructed field; args are image, kernel
 Inside     : int		  : 2 : args are position, field
 AddField   :                      : 2 : field addition
 ScaleField :                      : 2 : field scaling
 NegField   :                      : 1 : field negation
 DiffField  :                      : 1 : field differentiation
-Probe      : ty * ty              : 2 : types are domain * range
+Probe      : ty * ty              : 2 : Probe<domTy, rngTy>(fld, pos) probes fld at pos.
 #
 # inputs
 Input            : ty * string  : 0 :

<script type="text/javascript">//<![CDATA[
		function toggle_ffErrors() {
			var errorsblock = document.getElementById("ffErrorsBlock");
			var errorsgroup = document.getElementById("ffErrors");
			if (errorsblock.style.display == "none") {
				errorsblock.style.display = "block";
				errorsgroup.style.right = "10px";
			} else {
				errorsblock.style.display = "none";
				errorsgroup.style.right = "300px";
			}
		}
//]]></script>
<div id="ffErrors">
<a href="javascript:toggle_ffErrors();">Click to toggle</a>
<div id="ffErrorsBlock">
	<div class="error">does not end with &lt;/html&gt; tag</div>
	<div class="error">does not end with &lt;/body&gt; tag</div>
	<div class="info">The output has ended thus: Probe&lt;domTy, rngTy&gt;(fld, pos) probes fld at pos.
 #
 # inputs
 Input            : ty * string  : 0 :</div>
</div></div>
</body></html>