Module Register


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