Module type Abstractions.domain_functor

module type domain_functor = functor (Value : Abstract.Value.External) -> Abstractions.leaf_domain  with type value = Value.t

Module type of a functor building a leaf domain from a value abstraction. The resulting domain must use the input value as value abstraction.

Parameters:

Value : Abstract.Value.External

include Abstract_domain.S

val key : t Abstract_domain.key

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