Code.Addr
type t = int
val to_string : t -> string
val zero : t
val succ : t -> t
val pred : t -> t
module Set : Set.S with type elt = t
module Map : Map.S with type key = t