Functor Domain_product.Make

module Make: 
functor (Value : Abstract_value.S-> 
functor (Left : Abstract_domain.Internal with type value = Value.t-> 
functor (Right : Abstract_domain.Internal with type value = Left.value and type location = Left.location-> Abstract_domain.Internal with type value = Value.t and type location = Left.location and type state = Left.state * Right.state
Parameters:
Value : Abstract_value.S
Left : Abstract_domain.Internal with type value = Value.t
Right : Abstract_domain.Internal with type value = Left.value and type location = Left.location

include Abstract_domain.S_with_Structure
module Store: Abstract_domain.Store  with type state := state
val post_analysis : t Eval.or_bottom -> unit

This function is called after the analysis. The argument is the state computed at the return statement of the main function. The function can also access all states stored in the Store module during the analysis. If the analysis aborted, this function is not called.