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