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 print :
    Cil_types.varinfo -> RefUsage.access -> Format.formatter -> unit
  val dump : unit -> unit
  val compute : unit -> unit
end