Module type Transfer_stmt.Domain

module type Domain = sig .. end

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