sig
  type access = NoAccess | ByRef | ByArray | ByValue | ByAddr
  val iter :
    ?on_init:(RefUsage.access -> unit) ->
    ?on_kf:(Cil_types.kernel_function -> RefUsage.access -> unit) ->
    Cil_types.varinfo -> unit
  val get :
    ?kf:Cil_types.kernel_function ->
    ?init:bool -> Cil_types.varinfo -> RefUsage.access
  val dump : unit -> unit
  val compute : unit -> unit
end