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