Skip to content

Commit

Permalink
[flow][EZ] Add mli file for tvar
Browse files Browse the repository at this point in the history
Summary:
In a later diff I want to add some helpers that I don't want to expose.

Changelog: [internal]

Reviewed By: gkz

Differential Revision: D55147487

fbshipit-source-id: 65189b2a05f7589bfb6c8772f0ed7a16ec699dc8
  • Loading branch information
SamChou19815 authored and facebook-github-bot committed Mar 20, 2024
1 parent 49227e3 commit 29ccdf6
Showing 1 changed file with 24 additions and 0 deletions.
24 changes: 24 additions & 0 deletions src/typing/tvar.mli
Original file line number Diff line number Diff line change
@@ -0,0 +1,24 @@
(*
* Copyright (c) Meta Platforms, Inc. and affiliates.
*
* This source code is licensed under the MIT license found in the
* LICENSE file in the root directory of this source tree.
*)

open Reason

val mk_no_wrap : Context.t -> reason -> int

val mk : Context.t -> reason -> Type.t

val mk_where : Context.t -> reason -> (Type.t -> unit) -> Type.t

val mk_where_no_wrap : Context.t -> reason -> (Type.t -> unit) -> int

val mk_no_wrap_where : Context.t -> reason -> (reason * int -> unit) -> Type.t

val mk_fully_resolved_lazy : Context.t -> reason -> Type.t lazy_t -> Type.t

val mk_fully_resolved : Context.t -> reason -> Type.t -> Type.t

val mk_resolved : Context.t -> reason -> Type.t -> Type.t

0 comments on commit 29ccdf6

Please sign in to comment.