Module Cvalue_domain.State

module State: Abstract_domain.Leaf 
  with type value = Main_values.CVal.t
   and type location = Main_locations.PLoc.location
   and type state = Cvalue.Model.t * Locals_scoping.clobbered_set

include Abstract_domain.S
val key : t Abstract_domain.key

The key identifies the domain and the type t of its states.