refactor: changed names of several parameters

FossilOrigin-Name: 01f13aa0aaa36094d310486a0c003c3ea8125a9c8d47e7a88f76ee3ffb090a37

src/types.nim

@@ -29,7 +29,7 @@
 import std/[paths, tables]
 # External modules imports
 import norm/[model, pragmas, sqlite]
-import contracts
+import contracts, nimalyzer
 
 type
   HelpEntry* {.tableName: "help".} = ref object of Model
@@ -206,15 +206,15 @@ proc to*(dbVal: DbValue, T: typedesc[Path]): T {.raises: [], tags: [
 
 # Procedures related to ResultCode type
 
-proc `==`*(x: ResultCode; y: int): bool {.borrow.}
+proc `==`*(x: ResultCode; y: int): bool {.borrow, ruleOff: "params".}
   ## Used to compare ResultCode with int. Borrowed from int type.
   ##
   ## * x - The ResultCode to compare
   ## * y - The int to compare
   ##
   ## Returns true if both ResultCode and int are the same, otherwise false.
 
-proc `$`*(x: ResultCode): string {.borrow.}
+proc `$`*(x: ResultCode): string {.borrow, ruleOn: "params".}
   ## Get string representation of ResultCode. Borrowed from int type.
   ##
   ## * x - The ResultCode which will be converted to string