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.