Module Transfer_specification

module Transfer_specification: sig .. end

module Make: 
functor (Value : Abstract_value.External) -> 
functor (Location : Abstract_location.External) -> 
functor (Domain : Abstract_domain.External  with type value = Value.t
                                       and type location = Location.location) -> 
functor (States : Powerset.S  with type state = Domain.t) -> 
functor (Logic : Transfer_logic.S  with type state = Domain.t
                               and type states = States.t) -> sig .. end