flow/hack/utils/local_id.mli at v0.36 · dominictobias/flow

Repository navigation

(**

* This source code is licensed under the BSD-style license found in the

* LICENSE file in the "hack" directory of this source tree. An additional grant

* of patent rights can be found in the PATENTS file in the same directory.

(* Used to represent local variables in the named AST. *)

module S : sig

type t

val compare : t -> t -> int

end

type t = S.t

val track_names : bool ref

val compare : t -> t -> int

val to_string : t -> string

val to_int : t -> int

val get_name : t -> string

(* Returns a fresh id every time. *)

val make : string -> t

(* Returns the same id every time for a given string argument. Used for

* function / method parameters.

* The ids returned here are guaranteed not to overlap with those returned by

* Local_id.make, which is used for naming local variables. *)

val get : string -> t

val tmp : unit -> t

module Set : module type of Set.Make(S)

module Map : module type of MyMap.Make(S)