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.S

val structure : t structure