sig
type t
val relate :
Cil_types.kernel_function ->
Base.Hptset.t -> Abstract_domain.Recycle.t -> Base.SetLattice.t
val filter :
Cil_types.kernel_function ->
[ `Post | `Pre ] ->
Base.Hptset.t -> Abstract_domain.Recycle.t -> Abstract_domain.Recycle.t
val reuse :
Cil_types.kernel_function ->
Base.Hptset.t ->
current_input:Abstract_domain.Recycle.t ->
previous_output:Abstract_domain.Recycle.t -> Abstract_domain.Recycle.t
end