Searched refs:newTel (Results 1 – 3 of 3) sorted by relevance
556 RedTransEl newTel( keyOps->minKey, fillHighKey, redFsm->getErrorTrans() ); in newTrans() local557 destRange.append( newTel ); in newTrans()571 RedTransEl newTel( nextKey, fillHighKey, redFsm->getErrorTrans() ); in newTrans() local572 destRange.append( newTel ); in newTrans()596 RedTransEl newTel( keyOps->minKey, keyOps->maxKey, redFsm->getErrorTrans() ); in finishTransList() local597 destRange.append( newTel ); in finishTransList()608 RedTransEl newTel( fillLowKey, keyOps->maxKey, redFsm->getErrorTrans() ); in finishTransList() local609 destRange.append( newTel ); in finishTransList()
524 newTel =533 { clauseTel = newTel558 , "newTel =" <+> prettyTCM newTel
387 tel' = newTel n tel rps rargs433 newTel :: Nat -> Telescope -> [NamedArg DeBruijnPattern] -> [Term] -> Telescope434 newTel n tel [] [] = tel function435 newTel n tel (p : ps) (v : vs) =437 …VarP _ (DBPatVar _ i) -> newTel (n - 1) (subTel (size tel - 1 - i) v tel) (substP i (raise (n - 1)…438 DotP{} -> newTel n tel ps vs439 ConP c _ ps' -> newTel n tel (ps' ++ ps) (projections c v ++ vs)443 …IApplyP _ _ _ (DBPatVar _ i) -> newTel (n - 1) (subTel (size tel - 1 - i) v tel) (substP i (raise …444 newTel _ tel _ _ = __IMPOSSIBLE__ function487 else System newTel (map (map (f -*- id) -*- f) sys)[all …]