Does anyone know of commented / documented version of the low-level Nat signature (used in Cryptokit)?<div>I&#39;m finding it a bit hard to read the usage of each function from just the types.<br clear="all"><br>-- <br>Johan Brinch,<br>

Dept. of Computer Science,<br>University of Copenhagen<br>
</div>