module Transfer: functor (Valuation : Abstract_domain.Valuation with type value = value and type origin = value option and type loc = location) -> sig .. end
functor (
Valuation
:
Abstract_domain.Valuation
with type value = value and type origin = value option and type loc = location
) ->
sig
end
Abstract_domain.Valuation with type value = value and type origin = value option and type loc = location
include Abstract_domain.Transfer