module type Domain = sig .. end
sig
end
include Abstract_domain.Transfer
val leave_scope : Cil_types.kernel_function -> Cil_types.varinfo list -> state -> state
Cil_types.kernel_function -> Cil_types.varinfo list -> state -> state
module Store: Abstract_domain.Store with type state := state
Abstract_domain.Store
with type state := state
include Datatype.S