Does anyone know of commented / documented version of the low-level Nat
signature (used in Cryptokit)?
I'm finding it a bit hard to read the usage of each function from just the
types.

-- 
Johan Brinch,
Dept. of Computer Science,
University of Copenhagen