(**
 * Copyright (c) 2013-present, Facebook, Inc.
 *
 * This source code is licensed under the MIT license found in the
 * LICENSE file in the root directory of this source tree.
 *)

type t

val create: unit -> t
val set: t -> Loc.t -> Type.t -> unit
val set_info: t -> Loc.t -> Type.t -> unit
val fold_coverage: (Loc.t -> Type.t -> 'a -> 'a) -> t -> 'a -> 'a
val find_unsafe_coverage: t -> Loc.t -> Type.t
val reset: t -> unit
val copy: t -> t
val find_all_type_info: (Loc.t -> Type.t -> bool) -> t -> (Loc.t * Type.t) list
