package diffast-misc

  1. Overview
  2. Docs

Module Binding.ID

type t =
  1. | Local of int
  2. | Global of string
val compare : 'a -> 'a -> int
val succ : int -> int
val pred : int -> int
val make_global : string -> t
val is_global : t -> bool
val is_local : t -> bool
val to_raw : t -> string
val to_string : t -> string
val dummy : t
val is_dummy : t -> bool
class generator : object ... end
val p : out_channel -> t -> unit
val r : out_channel -> t -> unit
val ps : unit -> t -> string