module Domain_builder: sig .. end
sig
end
module type InputDomain = sig .. end
module Complete: functor (Domain : InputDomain) -> Abstract_domain.Internal with type state = Domain.state and type value = Domain.value and type location = Domain.location
functor (
Domain
:
InputDomain
) ->
Abstract_domain.Internal
with type state = Domain.state and type value = Domain.value and type location = Domain.location