hphp/hack/src/shape_analysis/shape_analysis_solver.mli

   1 (*
   2  * Copyright (c) Facebook, Inc. and its 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 simplify : Typing_env_types.env -> constraint_ list -> shape_result list