hphp/hack/src/typing/typing_tdef.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 (** Expand a typedef, smashing abstraction and collecting a trail
  10     of where the typedefs come from. *)
  11 val force_expand_typedef :
  12   ety_env:Typing_defs.expand_env ->
  13   Typing_env_types.env ->
  14   Typing_defs.locl_ty ->
  15   Typing_env_types.env * Typing_defs.locl_ty * Pos_or_decl.t list