Adjust PulseTaintConfig.Kind module's signature

Summary: To make `t` abstract and better reflect `kinds_of_strings_opt`'s name by type signature. Reviewed By: skcho Differential Revision: D45816386 fbshipit-source-id: bfde1e4f865a220ef3dc254d06955fef3b362dbb
facebook · May 12, 2023 · 8baad3c · 8baad3c
1 parent eca4a31
commit 8baad3c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/infer/src/pulse/PulseTaintConfig.mli b/infer/src/pulse/PulseTaintConfig.mli
@@ -9,7 +9,7 @@ open! IStd
 module F = Format
 
 module Kind : sig
-  type t = string [@@deriving compare, equal]
+  type t [@@deriving compare, equal]
 
   val pp : F.formatter -> t -> unit
 
@@ -21,7 +21,7 @@ module Kind : sig
 
   val simple_kind : t
 
-  val kinds_of_strings_opt : t list option -> t list
+  val kinds_of_strings_opt : string list option -> t list
 end
 
 module Target : sig