idris
IRTS.Inliner
inline :: DDefs -> DDefsSource
inl :: DDefs -> (Name, DDecl) -> (Name, DDecl)Source
evalD :: t -> a -> Maybe aSource