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 is_nullable : Cil_types.varinfo -> bool
  val has_nullable : unit -> bool
  val print :
    Cil_types.varinfo ->
    Wp.RefUsage.access -> Stdlib.Format.formatter -> unit
  val dump : unit -> unit
  val compute : unit -> unit
  val is_computed : unit -> bool
end