;;; Hey, emacs(1), this is -*- Mode: TDL; Coding: utf-8; -*- got it? exhaustive_mtr := mrs_transfer_rule & [ CONTEXT [ LTOP #h, INDEX #i ], INPUT [ LTOP #h, INDEX #i ], OUTPUT [ LTOP #h, INDEX #i ], FLAGS.EXHAUSTIVE + ].