Functor Domain_builder.Restrict

module Restrict: 
functor (Value : Abstract_value.S-> 
functor (Domain : Abstract.Domain.Internal with type value = Value.t-> 
functor (Scope : sig
val functions : Domain_mode.function_mode list
end-> Abstract.Domain.Internal  with type value = Value.t
                              and type location = Domain.location
Parameters:
Value : Abstract_value.S
Domain : Abstract.Domain.Internal with type value = Value.t
Scope : sig val functions: Domain_mode.function_mode list end

include Abstract_domain.Internal
val structure : t structure