:begin :type.
:include "../fundamentals.tdl".
:include "../openproof/prorder.tdl".
:include "../tmt.tdl".
:include "../mtr.tdl".
:include "../openproof/mtr-op.tdl".

:end :type.

:begin :instance :status rule.


;;;
;;; transfer operates in three phases: (i) source-specific accomodation, (ii.
;;; core transfer, and (iii) target-specific accommodation.
;;;
:include "inflate.mtr".
:end :instance.