[clean-tests.git] / abstract-newtypes / nt.icl

implementation module nt

:: NT a =: NT a
:: RT a = RT a