Searched refs:withContextSize (Results 1 – 2 of 2) sorted by relevance
232 CC.Fail xs -> withContextSize (length xs) $ return C.tUnreachable233 CC.Done xs v -> withContextSize (length xs) $ do325 withContextSize :: Int -> CC C.TTerm -> CC C.TTerm326 withContextSize n cont = do function
1735 bool withContextSize) in wrap_expr_in_flwor() argument1743 if (withContextSize) in wrap_expr_in_flwor()