module IRTS.Inliner where

import Core.TT

import IRTS.Defunctionalise

inline :: DDefs -> DDefs 
inline xs = xs