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