Functor Domain_builder.Complete

module Complete: functor (Domain : InputDomain) -> Abstract_domain.Leaf  with type state = Domain.state
                          and type value = Domain.value
                          and type location = Domain.location

Parameters:

Domain : InputDomain

include Abstract_domain.Internal

val key : t Abstract_domain.key

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