module TTransitive where

import TLocalImport

-- >>> tst' 11 11
-- True