PythonSemdiffConfig (infer.SemDiffLib.PythonSemdiffConfig)

val any : SemdiffDirectEngine.Pattern.t

val is_not_Any : 
  SemdiffDirectEngine.Pattern.t ->
  SemdiffDirectEngine.Condition.t option

val is_not_null : 
  SemdiffDirectEngine.Pattern.t ->
  SemdiffDirectEngine.Condition.t option

val does_not_contain_Any : 
  SemdiffDirectEngine.Pattern.t ->
  SemdiffDirectEngine.Condition.t option

val and_ : 
  SemdiffDirectEngine.Condition.t option ->
  SemdiffDirectEngine.Condition.t option ->
  SemdiffDirectEngine.Condition.t option

val missing_python_type_annotations_config : SemdiffDirectEngine.Rules.t