idris-0.9.12: Functional Programming Language with Dependent Types
IRTS.Inliner
inline :: DDefs -> DDefsSource
inl :: DDefs -> (Name, DDecl) -> (Name, DDecl)Source
evalD :: t -> a -> Maybe aSource