diffast-misc
Binding.ID
type t =
| Local of int
| 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