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