/dports/lang/elm/compiler-0.19.1/compiler/src/Type/Constrain/ |
H A D | Module.hs | 76 tipe <- Instantiate.fromSrcType (Map.map VarN vars) srcType 94 let msg = VarN msgVar 103 let msg = VarN msgVar 119 let state0 = VarN s0 120 let state1 = VarN s1 121 let state2 = VarN s2 122 let msg1 = VarN m1 123 let msg2 = VarN m2 124 let self1 = VarN sm1 125 let self2 = VarN sm2 [all …]
|
H A D | Expression.hs | 117 let extType = VarN extVar 126 let extType = VarN extVar 190 let funcType = VarN funcVar 213 let argType = VarN argVar 248 let leftType = VarN leftVar 336 let ptrnType = VarN ptrnVar 395 let tipe = VarN var 428 let tipe = VarN var 441 let aType = VarN aVar 442 let bType = VarN bVar [all …]
|
H A D | Pattern.hs | 68 let entryType = VarN entryVar 79 let entryType = VarN entryVar 94 let extType = VarN extVar 97 let fieldTypes = Map.fromList (map (fmap VarN) fieldVars) 177 let aType = VarN aVar 178 let bType = VarN bVar 192 let cType = VarN cVar 216 let typePairs = map (second VarN) varPairs
|
/dports/www/twiki/twiki/data/TWiki/ |
H A D | VarQ.txt,v | 47 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 61 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 77 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 93 …* Related: [[#VarH][H]], [[#VarI][I]], [[#VarICON][ICON]], [[#VarM][M]], [[#VarN][N]], [[#VarP][P]…
|
H A D | VarX.txt,v | 47 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 61 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 77 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 93 …* Related: [[#VarH][H]], [[#VarI][I]], [[#VarICON][ICON]], [[#VarM][M]], [[#VarN][N]], [[#VarP][P]…
|
H A D | VarY.txt,v | 47 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 61 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 77 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 93 …* Related: [[#VarH][H]], [[#VarI][I]], [[#VarICON][ICON]], [[#VarM][M]], [[#VarN][N]], [[#VarP][P]…
|
H A D | VarH.txt,v | 47 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 61 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 77 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 93 …* Related: [[#VarI][I]], [[#VarICON][ICON]], [[#VarM][M]], [[#VarN][N]], [[#VarP][P]], [[#VarQ][Q]…
|
H A D | VarP.txt,v | 47 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 61 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 77 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 93 …* Related: [[#VarH][H]], [[#VarI][I]], [[#VarICON][ICON]], [[#VarM][M]], [[#VarN][N]], [[#VarQ][Q]…
|
H A D | VarS.txt,v | 47 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 61 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 77 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 93 …* Related: [[#VarH][H]], [[#VarI][I]], [[#VarICON][ICON]], [[#VarM][M]], [[#VarN][N]], [[#VarP][P]…
|
H A D | VarI.txt,v | 47 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 61 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 77 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 93 …* Related: [[#VarH][H]], [[#VarICON][ICON]], [[#VarM][M]], [[#VarN][N]], [[#VarP][P]], [[#VarQ][Q]…
|
H A D | VarM.txt,v | 47 …"}%VarICON][ICON]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 61 …"}%VarICON][ICON]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 77 …"}%VarICON][ICON]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 93 …* Related: [[#VarH][H]], [[#VarI][I]], [[#VarICON][ICON]], [[#VarN][N]], [[#VarP][P]], [[#VarQ][Q]…
|
H A D | VarT.txt,v | 47 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 61 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 77 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 93 …* Related: [[#VarH][H]], [[#VarI][I]], [[#VarICON][ICON]], [[#VarM][M]], [[#VarN][N]], [[#VarP][P]…
|
H A D | VarU.txt,v | 47 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 61 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 77 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL… 93 …* Related: [[#VarH][H]], [[#VarI][I]], [[#VarICON][ICON]], [[#VarM][M]], [[#VarN][N]], [[#VarP][P]…
|
H A D | VarWIP.txt,v | 32 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
|
H A D | VarN.txt,v | 41 #VarN
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
H A D | fraClau.c | 475 int LitM, LitN, VarM, VarN, i, j, k; in Fra_ClauReduceClause() local 482 VarN = lit_var( LitN ); in Fra_ClauReduceClause() 483 if ( VarM < VarN ) in Fra_ClauReduceClause() 487 else if ( VarM > VarN ) in Fra_ClauReduceClause() 600 int LitM, VarM, VarN, i, j, k; in Fra_ClauPrintClause() local 606 VarN = Vec_IntEntry( vSatCsVars, j ); in Fra_ClauPrintClause() 607 if ( VarM < VarN ) in Fra_ClauPrintClause() 611 else if ( VarM > VarN ) in Fra_ClauPrintClause()
|
/dports/lang/ghc/ghc-8.10.7/compiler/GHC/StgToCmm/ |
H A D | ExtCode.hs | 61 = VarN CmmExpr -- ^ Holds CmmLit(CmmLabel ..) which gives the label type, constructor 138 addVarDecl var expr = addDecl var (VarN expr) 206 Just (VarN e) -> e
|
/dports/devel/R-cran-reshape2/reshape2/ |
H A D | README.md | 42 …* the function `melt` now names the columns of its returned data frame `Var1`, `Var2`, ..., `VarN`…
|
/dports/lang/erlang-runtime23/corba-5.0.2/lib/ic/src/ |
H A D | ic_pp.erl | 1684 [{var, VarN}] = lists:nth(N,Para), 1685 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]); 1688 [{var, VarN}] = lists:nth(N,Para), 1689 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]); 1692 [{var, VarN}] = lists:nth(N,Para), 1693 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]);
|
/dports/lang/erlang-runtime24/corba-5.0.2/lib/ic/src/ |
H A D | ic_pp.erl | 1684 [{var, VarN}] = lists:nth(N,Para), 1685 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]); 1688 [{var, VarN}] = lists:nth(N,Para), 1689 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]); 1692 [{var, VarN}] = lists:nth(N,Para), 1693 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]);
|
/dports/lang/erlang-runtime22/corba-4.5.2/lib/ic/src/ |
H A D | ic_pp.erl | 1684 [{var, VarN}] = lists:nth(N,Para), 1685 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]); 1688 [{var, VarN}] = lists:nth(N,Para), 1689 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]); 1692 [{var, VarN}] = lists:nth(N,Para), 1693 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]);
|
/dports/lang/erlang/corba-5.0.2/lib/ic/src/ |
H A D | ic_pp.erl | 1684 [{var, VarN}] = lists:nth(N,Para), 1685 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]); 1688 [{var, VarN}] = lists:nth(N,Para), 1689 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]); 1692 [{var, VarN}] = lists:nth(N,Para), 1693 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]);
|
/dports/lang/erlang-runtime21/corba-4.5.2/lib/ic/src/ |
H A D | ic_pp.erl | 1684 [{var, VarN}] = lists:nth(N,Para), 1685 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]); 1688 [{var, VarN}] = lists:nth(N,Para), 1689 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]); 1692 [{var, VarN}] = lists:nth(N,Para), 1693 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]);
|
/dports/lang/elm/compiler-0.19.1/compiler/src/Type/ |
H A D | Type.hs | 94 | VarN Variable constructor
|
/dports/editors/lazarus-devel/lazarus-6df7e8756882f7d7f28f662011ee72f21746c580/components/lazdebuggergdbmi/test/TestApps/ |
H A D | WatchesPrgStruct.inc | 351 // Var.., VarN...: TRealType; // cast to lower class
|