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 dump : unit -> unit   val compute : unit -> unit end