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