Module Function_analysis


module Function_analysis: sig .. end


type function_kind =
| UsedOnly
| UsedReturnSimple
| UsedReturnSubtree
| ReturnsPaths
| ReturnsDefault
val get_fun_analysis_type : Namespace_names.rqname -> function_kind