module TH_spliceD2_Lib where

data T = T Int