Searched refs:unfoldDefinitionStep (Results 1 – 2 of 2) sorted by relevance
403 r <- liftReduce $ unfoldDefinitionStep False (Def f []) f blkArgs
528 r <- unfoldDefinitionStep unfoldDelayed v f es537 r <- unfoldDefinitionStep unfoldDelayed v0 f es542 unfoldDefinitionStep :: Bool -> Term -> QName -> Elims -> ReduceM (Reduced (Blocked Term) Term)543 unfoldDefinitionStep unfoldDelayed v0 f es = function