Functor Domain_builder.Complete_Minimal

module Complete_Minimal: functor (Value : Abstract_value.S) -> functor (Location : Abstract_location.S) -> functor (Domain : Simpler_domains.Minimal) -> Abstract_domain.Leaf  with type value = Value.t
                          and type location = Location.location
                          and type state = Domain.t

Parameters:

`Value`	:	`Abstract_value.S`
`Location`	:	`Abstract_location.S`
`Domain`	:	`Simpler_domains.Minimal`

include Abstract_domain.S

val key : t Abstract_domain.key

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