module Complete:functor (
Domain
:
InputDomain
) ->
Abstract_domain.Internal
with type state = Domain.state and type value = Domain.value and type location = Domain.location and type return = Domain.return
Parameters: |
|
include Abstract_domain.S_with_Structure
module Store:Abstract_domain.Store
with type state := state