Kind (infer.Pulselib.PulseTaintConfig.Kind)

type t = private string

include Ppx_compare_lib.Comparable.S with type t := t

val compare : t Base__Ppx_compare_lib.compare

include Ppx_compare_lib.Equal.S with type t := t

val equal : t Base__Ppx_compare_lib.equal

module Set : IStdlib.PrettyPrintable.PPSet with type elt = t

val pp : F.formatter -> t -> unit

val is_data_flow_only : t -> bool