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.