Functor Domain_builder.Complete_Simple_Cvalue

module Complete_Simple_Cvalue: 
functor (Domain : Simpler_domains.Simple_Cvalue-> Abstract_domain.Leaf with type value = Cvalue.V.t and type location = Precise_locs.precise_location and type state = Domain.t
Parameters:
Domain : Simpler_domains.Simple_Cvalue

include Abstract_domain.S
val key : t Abstract_domain.key

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