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