| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/types/ |
| H A D | numeric-tower.rkt | 51 (define/decl -PosByte (Un -One -Byte>1))
52 (define/decl -Byte (Un -Zero -PosByte))
55 (define/decl -Index (Un -Zero -PosIndex))
58 (define/decl -NonNegFixnum (Un -PosFixnum -Zero))
60 (define/decl -NonPosFixnum (Un -NegFixnum -Zero))
64 (define/decl -NonNegInt (Un -PosInt -Zero))
68 (define/decl -NonPosInt (Un -NegInt -Zero))
69 (define/decl -Int (Un -NegInt -Zero -PosInt))
71 (define/decl -PosRat (Un -PosRatNotInt -PosInt))
72 (define/decl -NonNegRat (Un -PosRat -Zero))
[all …]
|
| H A D | abbrev.rkt | 48 (define (make-Vector a) (Un (-mvec a) (-ivec a)))
73 (apply Un (map -val args)))
75 (define (-opt t) (Un (-val #f) t))
91 (define/decl -Regexp (Un -PRegexp -Base-Regexp))
96 (Un -Symbol -String -Path
101 (Un (-lst* -Symbol)
107 (Un -Nat
126 (Un -Null
136 (define/decl -Sexp (-Sexpof (Un)))
144 (define/decl -Port (Un -Output-Port -Input-Port))
[all …]
|
| /dports/textproc/hevea/hevea-2.34/examples/ |
| H A D | cart-bis.tex | 15 \section{Un} section
16 Un\footnote{un}.
17 \subsection{Un-Un} argument
18 Un-Un~\footnote{un-un}.
19 \subsection{Un-Deux} argument
20 Un-Deux~\footnote{un-deux}.
23 \subsection{Un-Trois} argument
24 Un-Trois~\footnote{un-trois}.
25 \subsubsection{Un-Trois-Un}
26 Un-Trois-Un~\footnote{un-trois-un}.
[all …]
|
| H A D | cart.tex | 15 \section{\sty{Un \& vice}}
16 Un\footnote{un}.
17 \subsection{\sty{Un}-Un}
18 Un-Un~\footnote{un-un}.
19 \subsection{\sty{Un}-Deux}
20 Un-Deux~\footnote{un-deux}.
23 \subsection{Un-Trois}
24 Un-Trois~\footnote{un-trois}.
25 \subsubsection{Un-Trois-Un}
26 Un-Trois-Un~\footnote{un-trois-un}.
[all …]
|
| H A D | cart-ter.tex | 15 \section{Un} section
16 Un\footnote{un}.
17 \subsection{Un-Un} argument
18 Un-Un~\footnote{un-un}.
19 \subsection{Un-Deux} argument
20 Un-Deux~\footnote{un-deux}.
23 \subsection{Un-Trois} argument
24 Un-Trois~\footnote{un-trois}.
25 \subsubsection{Un-Trois-Un}
26 Un-Trois-Un~\footnote{un-trois-un}.
[all …]
|
| /dports/lang/lfe/lfe-1.3/src/ |
| H A D | lfe_bits.erl | 39 {ok,Sz,{Ty,Un,Si,En}}
51 {ok,Sz,{Ty,Un,Si,En}};
101 apply_defaults(default, Sz, Un, Si, En) ->
107 check_unit(Un),
108 apply_defaults(integer, 8, Un, Si, En);
116 check_unit(Un),
126 apply_defaults(Ty, Sz, Un, default, En) ->
129 apply_defaults(Ty, Sz, Un, Si, default) ->
130 apply_defaults(Ty, Sz, Un, Si, big);
132 apply_defaults(Ty, Sz, Un, Si, En) ->
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-more/typed/racket/gui/ |
| H A D | base.rkt | 99 (Un (-val #f)
111 (Un (-val #f)
123 (Un (-val #f)
135 (Un (-val #f)
145 [(Un (-val #f)
157 [(Un (-val #f)
168 [(Un (-val #f)
178 [(Un (-val #f)
191 [(Un (-val #f)
250 (-> (Un (-val #f)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/base-env/ |
| H A D | base-env-indexing-abs.rkt | 69 [-StrRx (Un -String -Regexp)]
70 [-BtsRx (Un -Bytes -Byte-Regexp)]
71 [-StrInput (Un -String -Path)]
83 [-StrRx (Un -String -Regexp)]
154 [-StrRx (Un -String -Regexp)]
156 [-StrInput (Un -String -Path)]
199 [-StrRx (Un -String -Regexp)]
334 [-> Sym -String Univ (Un)]
338 [-> Sym -String Univ (Un)]
345 (->* (list Sym -String) Univ (Un))]
[all …]
|
| H A D | base-env.rkt | 481 …(->opt (Un -Bytes -Byte-Regexp) (Un -Bytes -String) (Un -Bytes -String (->* (list -Bytes) -Bytes -…
486 …(->opt (Un -Bytes -Byte-Regexp) (Un -Bytes -String) (Un -Bytes -String (->* (list -Bytes) -Bytes -…
489 (-> (Un -String -Bytes)
1330 [raise (cl->* ((Un -Flat -Exn) . -> . (Un))
1331 ((Un -Flat -Exn) Univ . -> . (Un)))]
1333 (cl->* (-> Sym (Un))
1337 (cl->* (-> Sym (Un))
1379 (Un b d))
2564 (-> mod (Un (one-of/c #f 0) -Void) (-> a) (Un -Void a))
2757 (-> -Pathlike (Un -String -Bytes) (Un -String -Bytes) -Path)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-more/typed/ |
| H A D | pict.rkt | 14 (Un (-pair t -ilof) t -Null)))
21 (Un (-val #f) -pict (-lst -pict)))
48 #:color (-opt (Un -String -color)) #f
109 #:color (-opt (Un -String -color)) #f
116 #:color (-opt (Un -String -color)) #f
127 #:color (-opt (Un -String -color)) #f
141 #:color (-opt (Un -String -color)) #f
163 #:color (-opt (Un -String -color)) #f
281 #:color (Un -String -color) #f
283 #:open-mouth (Un -Boolean -Real) #f
[all …]
|
| /dports/cad/librecad/LibreCAD-2.2.0-rc2/desktop/ |
| H A D | librecad.desktop | 14 Comment[es]=Un sistema CAD profesional
18 Comment[ast]=Un sistema CAD profesional
23 Comment[ca]=Un sistema CAD professional
24 Comment[ca@valencia]=Un sistema CAD professional
33 Comment[fr]=Un système de CAO professionnel
34 Comment[gl]=Un sistema de CAD profesional
39 Comment[it]=Un sistema CAD professionale
46 Comment[oc]=Un sistèma de CAO professional
47 Comment[ro]=Un sistem profesional CAD
|
| /dports/lang/adacontrol/adactl-1.18r9/src/ |
| H A D | rules-comments.adb | 148 Un : Units; variable
231 if Un = U_All then
238 if Units_Used (Un) then
457 Un : Units; variable
466 Un := U_Procedure;
468 Un := U_Function;
470 Un := U_Entry;
472 Un := U_Package;
474 Un := U_Task;
479 if not Units_Used (Un) then
[all …]
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerHelpers.h | 77 UnaryOperatorKind Un; member
83 explicit OperatorKind(UnaryOperatorKind Un) : IsBinary{false} { Op.Un = Un; } in OperatorKind() argument
100 return Op.Un; in GetUnaryOpUnsafe()
105 return Op.Un; in GetUnaryOp()
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerHelpers.h | 77 UnaryOperatorKind Un; member
83 explicit OperatorKind(UnaryOperatorKind Un) : IsBinary{false} { Op.Un = Un; } in OperatorKind() argument
100 return Op.Un; in GetUnaryOpUnsafe()
105 return Op.Un; in GetUnaryOp()
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerHelpers.h | 77 UnaryOperatorKind Un; member
83 explicit OperatorKind(UnaryOperatorKind Un) : IsBinary{false} { Op.Un = Un; } in OperatorKind() argument
100 return Op.Un; in GetUnaryOpUnsafe()
105 return Op.Un; in GetUnaryOp()
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerHelpers.h | 77 UnaryOperatorKind Un; member
83 explicit OperatorKind(UnaryOperatorKind Un) : IsBinary{false} { Op.Un = Un; } in OperatorKind() argument
100 return Op.Un; in GetUnaryOpUnsafe()
105 return Op.Un; in GetUnaryOp()
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerHelpers.h | 77 UnaryOperatorKind Un; member
83 explicit OperatorKind(UnaryOperatorKind Un) : IsBinary{false} { Op.Un = Un; } in OperatorKind() argument
100 return Op.Un; in GetUnaryOpUnsafe()
105 return Op.Un; in GetUnaryOp()
|
| /dports/lang/clang-mesa/clang-13.0.1.src/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerHelpers.h | 77 UnaryOperatorKind Un; member
83 explicit OperatorKind(UnaryOperatorKind Un) : IsBinary{false} { Op.Un = Un; } in OperatorKind() argument
100 return Op.Un; in GetUnaryOpUnsafe()
105 return Op.Un; in GetUnaryOp()
|
| /dports/editors/calligra/calligra-3.2.1/po/it/docs/sheets/ |
| H A D | functions.docbook | 1646 >Un intervallo di stringhe</seg
1658 >Un intervallo di stringhe</seg
1713 >Un intervallo di stringhe</seg
1725 >Un intervallo di stringhe</seg
1792 >Un intervallo di stringhe</seg
1804 >Un intervallo di stringhe</seg
1871 >Un intervallo di stringhe</seg
1883 >Un intervallo di stringhe</seg
1938 >Un intervallo di stringhe</seg
1950 >Un intervallo di stringhe</seg
[all …]
|
| /dports/net/mediastreamer/mediastreamer-2.16.1/po/ |
| H A D | it.po | 68 msgstr "Un filtro per fare conferenze"
102 msgstr "Un filtro che controlla e misura il volume"
106 msgstr "Un video4linux filtro per inviare immagini"
114 msgstr "Un filtro che invia una immagine statica"
118 msgstr "Un convertitore di formati pixel"
122 msgstr "Un convertitore dimesione video"
159 msgstr "Un H.263 decoder che utilizza le librerie ffmpeg"
175 msgstr "Un snow decoder che utilizza le librerie ffmpeg"
195 msgstr "Un snow encoder che utilizza le librerie ffmpeg"
232 msgstr "Un filtro (vfw.h) per catturare immagini."
[all …]
|
| /dports/math/cantor/cantor-21.12.3/src/lib/ |
| H A D | cantor_assistant.desktop | 7 Comment[ca]=Un assistent per al Cantor
8 Comment[ca@valencia]=Un assistent per al Cantor
14 Comment[es]=Un asistente para Cantor
19 Comment[fr]=Un assistant pour Cantor
21 Comment[gl]=Un asistente para Cantor
25 Comment[ia]=Un assistente per Cantor
26 Comment[it]=Un assistente per Cantor
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/g++.old-deja/g++.pt/ |
| H A D | union1.C | 3 union Un {int i;}; union
6 template<class T> struct St1<Un,T> {};
9 template<> struct St2<Un> {};
12 template<> struct St3<Un,int> {};
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/g++.old-deja/g++.pt/ |
| H A D | union1.C | 3 union Un {int i;}; union
6 template<class T> struct St1<Un,T> {};
9 template<> struct St2<Un> {};
12 template<> struct St3<Un,int> {};
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/g++.old-deja/g++.pt/ |
| H A D | union1.C | 3 union Un {int i;}; union
6 template<class T> struct St1<Un,T> {};
9 template<> struct St2<Un> {};
12 template<> struct St3<Un,int> {};
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/g++.old-deja/g++.pt/ |
| H A D | union1.C | 3 union Un {int i;}; union
6 template<class T> struct St1<Un,T> {};
9 template<> struct St2<Un> {};
12 template<> struct St3<Un,int> {};
|