hphp/hack/src/shape_analysis/shape_analysis_walker.mli

   1 (*
   2  * Copyright (c) Meta Platforms, Inc. and affiliates.
   3  *
   4  * This source code is licensed under the MIT license found in the
   5  * LICENSE file in the "hack" directory of this source tree.
   6  *
   7  *)
   8
   9 open Shape_analysis_types
  10
  11 val collect_analysis_targets :
  12   Provider_context.t -> Tast.program -> potential_targets
  13
  14 val callable :
  15   Ast_defs.id_ ->
  16   Tast_env.t ->
  17   Tast.fun_param list ->
  18   return:Tast.type_hint ->
  19   Tast.func_body ->
  20   decorated_constraints
  21
  22 val program : Provider_context.t -> Tast.program -> decorated_constraints SMap.t