module Register:sig
..end
module Occurrences:sig
..end
class occurrence :object
..end
val get : Cil_types.varinfo -> (Cil_types.kinstr * Cil_types.lval) list
val d_ki : Format.formatter -> Cil_types.kinstr -> unit
val print_one : Format.formatter ->
Cil_types.varinfo -> (Cil_types.kinstr * Cil_types.lval) list -> unit
val print_all : unit -> unit
val main : 'a -> unit