Searched defs:PSub (Results 1 – 14 of 14) sorted by relevance
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/ |
| H A D | Treeless.hs | 89 | PSub | PSub64 constructor
175 plusKView (TApp (TPrim PSub) [n, k]) | Just k <- intView k = Just (-k, n) function
179 negPlusKView (TApp (TPrim PSub) [k, n]) | Just k <- intView k = Just (-k, n) function
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/Treeless/ |
| H A D | Compare.hs | 40 applyPrim PSub a b = Just (a - b) function
|
| H A D | Pretty.hs | 77 opName PSub = "-" function
|
| H A D | Simplify.hs | 518 toArith (TApp (TPrim PSub) [a, b]) = aSub (toArith a) (toArith b) function
|
| /dports/science/simbody/simbody-Simbody-3.7/SimTKcommon/Scalar/include/SimTKcommon/internal/ |
| H A D | negator.h | 125 typedef typename CNT<P>::template Result<N>::Add PSub; typedef
|
| /dports/devel/py-typing-extensions/typing_extensions-3.10.0.2/src_py3/ |
| H A D | test_typing_extensions.py | 1356 class PSub(P1[str], Protocol): class
|
| /dports/databases/py-sqlite3/Python-3.8.12/Lib/test/ |
| H A D | test_typing.py | 1146 class PSub(P1[str], Protocol): class
|
| /dports/databases/py-gdbm/Python-3.8.12/Lib/test/ |
| H A D | test_typing.py | 1146 class PSub(P1[str], Protocol): class
|
| /dports/lang/python-tools/Python-3.8.12/Lib/test/ |
| H A D | test_typing.py | 1146 class PSub(P1[str], Protocol): class
|
| /dports/lang/python38/Python-3.8.12/Lib/test/ |
| H A D | test_typing.py | 1146 class PSub(P1[str], Protocol): class
|
| /dports/x11-toolkits/py-tkinter/Python-3.8.12/Lib/test/ |
| H A D | test_typing.py | 1146 class PSub(P1[str], Protocol): class
|
| /dports/lang/python39/Python-3.9.9/Lib/test/ |
| H A D | test_typing.py | 1180 class PSub(P1[str], Protocol): class
|
| /dports/lang/python310/Python-3.10.1/Lib/test/ |
| H A D | test_typing.py | 1320 class PSub(P1[str], Protocol): class
|
| /dports/lang/python311/Python-3.11.0a3/Lib/test/ |
| H A D | test_typing.py | 1326 class PSub(P1[str], Protocol): class
|