Typo's

phases/boolop.mli

@@ -2,7 +2,7 @@
     types. *)
 
 (** This phase transforms operations on boolean values to equivalent operations
-    no different data types. This transformation is necessary, because the CiviC
+    on different data types. This transformation is necessary, because the CiviC
     VM does not define some operations for boolean arguments.
 
     This phase also handles the first step of short-circuit evaluation, by

types.mli

@@ -164,9 +164,9 @@ type instr =
   | Global of ctype
     (** [.global <type>] *)
 
-  | Store of ctype * stack_scope * int  (** [[ifba]store[ gn]] *)
+  | Store of ctype * stack_scope * int  (** [[ifba]store[ gnl]] *)
 
-  | Load of ctype * stack_scope * int   (** [[ifb]load[ gn] G] *)
+  | Load of ctype * stack_scope * int   (** [[ifb]load[ gnl] G] *)
   | LoadConst of ctype * int            (** [[ifb]loadc C] *)
   | LoadImm of const                    (** [[ifb]loadc_[01tf] | iloadc_m1] *)