Module Transfer_specification

module Transfer_specification: sig .. end

module Make: 
functor (Abstract : Abstractions.S) -> 
functor (States : Powerset.S  with type state = Abstract.Dom.t) -> 
functor (Logic : Transfer_logic.S  with type state = Abstract.Dom.t
                               and type states = States.t) -> sig .. end