Module Diffast_misc.Binding

module ID : sig ... end
type use_count =
  1. | Used of int
  2. | Unknown
val use_count_to_string : use_count -> string
type is_local = bool
type t =
  1. | NoBinding
  2. | Def of ID.t * use_count ref * is_local
  3. | Use of ID.t * (UID.t * Loc.t) option
val to_string : t -> string
val make_def : ID.t -> use_count -> is_local -> t
val make_used_def : ID.t -> int -> is_local -> t
val make_unused_def : ID.t -> is_local -> t
val make_unknown_def : ID.t -> is_local -> t
val make_use : ?loc_opt:(UID.t * Loc.t) option -> ID.t -> t
val is_none : t -> bool
val is_use : t -> bool
val is_def : t -> bool
val is_local_def : t -> bool
val is_non_local_def : t -> bool
val is_used_def : t -> bool
val is_unused_def : t -> bool
val get_bid : t -> ID.t
val get_bid_opt : t -> ID.t option
val get_use_count : t -> int
val get_loc : t -> Loc.t
val get_uid : t -> UID.t
val has_loc : t -> bool
val incr_use : t -> unit