caml-urm

A OCaml module for manipulating unlimited register machines

git clone: git://git.pablopie.xyz/caml-urm
Log
Files
Refs
README
LICENSE

Commit: a48d8044b223174e2e105deb22499d5d8ebfc38f
Parent: 4ede8b63f843cee861fa71812edf437c0a22d615
Author: Pablo <pablo-escobar@riseup.net>
Date: Sat, 25 Sep 2021 13:04:43 +0000

Fixed a typo in the docs

Diffstat

1 file changed, 2 insertions, 2 deletions

Status	File Name	N° Changes	Insertions	Deletions
Modified	urm.mli	4	2	2

diff --git a/urm.mli b/urm.mli
@@ -57,8 +57,8 @@ val zeros : machine
     integer. *)
 val exec : program:instruction array -> m:machine -> machine
 
-(** A safe version of {! exec }, where the max number of clock-cycles
-    allowed is controlled by [max]. Each instruction takes a single clock-cycle
+(** A safe version of {! exec }, where the maximum number of clock-cycles
+    allowed is controlled by [n]. Each instruction takes a single clock-cycle
     to execute.
 
     Returns [Some _] if [program] halts in at most [n] clock-cycles and