module Stream_analysis_builtin: sig .. end
sig
end
val is_malicious_builtin_funcall : Df_analysis.ac_handle -> bool
Df_analysis.ac_handle -> bool