Searched refs:blockTermOnProblem (Results 1 – 4 of 4) sorted by relevance
389 blockTermOnProblem t v pid391 blockTermOnProblem394 blockTermOnProblem t v pid = do function442 blockTypeOnProblem (El s a) pid = El s <$> blockTermOnProblem (sort s) a pid
786 fallback = blockTermOnProblem a u pid
542 blockTermOnProblem target w pid572 blockTermOnProblem target (Lam info $ Abs (namedArgName x) v) pid682 maybe (return v') (blockTermOnProblem t v') mpid
547 coerce' cmp (CheckedTarget (Just pid)) v _ expected = blockTermOnProblem expected v pid