Updated some comments

types.mli

@@ -142,7 +142,7 @@ and node =
 
 (** {2 Assembly instructions} *)
 
-(** Stack variable scopes. Correspond to [(load|store)[gln ]] respectively. *)
+(** Stack scopes. Correspond to [(load|store|isr)[gln ]] respectively. *)
 type stack_scope = Glob | Local | Rel of int | Current
 
 (** Function scopes. *)
@@ -150,8 +150,8 @@ type rtn_scope = ExternFun of int | LocalFun of int * string
 
 (** Assembly instructions. *)
 type instr =
-  | Comment of string                   (** [# <comment>] *)
-  | InlineComment of instr * string     (** [<instr>  # <comment>] *)
+  | Comment of string                   (** [; <comment>] *)
+  | InlineComment of instr * string     (** [<instr>  ; <comment>] *)
   | Label of string                     (** [<label>:] *)
 
   (* Directives *)
@@ -164,9 +164,9 @@ type instr =
   | Global of ctype
     (** [.global <type>] *)
 
-  | Store of ctype * stack_scope * int  (** [[ifba]store[ gnl]] *)
+  | Store of ctype * stack_scope * int  (** [[ifba]store[ gn]] *)
 
-  | Load of ctype * stack_scope * int   (** [[ifb]load[ gnl] G] *)
+  | Load of ctype * stack_scope * int   (** [[ifb]load[ gn] G] *)
   | LoadConst of ctype * int            (** [[ifb]loadc C] *)
   | LoadImm of const                    (** [[ifb]loadc_[01tf] | iloadc_m1] *)
 
@@ -222,7 +222,7 @@ type args_record = {
   mutable cpp      : bool;
   (** Run C preprocessor? *)
   mutable optimize : bool;
-  (** Run {!Constprop} and {!Peephole} phases? *)
+  (** Run optimization phases? *)
   mutable endphase : string;
   (** Stop at the phase which has the given identifier (see {!Main.phases}). *)
 }