module Complete:functor (
Domain
:
InputDomain
) ->
Abstract_domain.Leaf
with type state = Domain.state and type value = Domain.value and type location = Domain.location
Parameters: |
|
include Abstract_domain.Internal
val key : t Abstract_domain.key
t
of its states.