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