rename variables

src/sail_json_backend/json.ml

@@ -469,8 +469,8 @@ let find_operand zero_bit_pattern (l, r) =
 
     TODO: Come up with a more robust implementation to parse the operands.
 *)
-let default_operand optional optional_operand =
-  let values = Hashtbl.find_all mappings optional_operand in
+let default_operand optional opt_operand =
+  let values = Hashtbl.find_all mappings opt_operand in
   let zero_bit_pattern s = Str.string_match (Str.regexp "0b0+$") s 0 in
   match optional with
   | Some true -> List.find_map (find_operand zero_bit_pattern) values
@@ -481,8 +481,8 @@ let json_of_operand k op =
   let opmap = List.combine (Hashtbl.find operands k) (Hashtbl.find sigs k) in
       let opplus = remove_identity_funcs op in
           let opname = List.hd (String.split_on_char ',' opplus) in
-              let optional, optional_operand = optional_operand k op in
-                  let default = default_operand optional optional_operand in
+              let optional, opt_operand = optional_operand k op in
+                  let default = default_operand optional opt_operand in
                       let optional_str = match optional with
                         | Some b ->  string_of_bool b
                         | None -> "false" in