[asl] Typo

Comment forgotten in PR #650.
herd · Sep 11, 2023 · 9cabafc · 9cabafc
1 parent bef3935
commit 9cabafc
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/asllib/Interpreter.mli b/asllib/Interpreter.mli
@@ -23,9 +23,13 @@ module type S = sig
   module B : Backend.S
 
   val run_env : (AST.identifier * B.value) list -> B.ast -> B.value B.m
+  (** [run env0 ast] runs the function main of the ast,
+      in an environment build from the ast. However, the (global)
+      identifiers listed in the A-list [env0] will take their
+      initial values from [env0]  and _not_ from [ast]. *)
+
   val run : B.ast -> B.value B.m
-  (** [run ast] runs the function main of the ast, in an environment build from
-      the ast. *)
+  (** Shorthand for [run [] ast] *)
 
   val run_typed : B.ast -> StaticEnv.env -> B.value B.m
   (** [run_typed ast env] runs the function main of the typed-checked [ast], in