| /dports/math/gap/gap-4.11.0/pkg/NoCK-1.4/lib/ |
| H A D | ckforms.gi | 9 …, dimPG, K, dimK, rankK, pi, qi, permPi, t, Pt, j, i, List1, List2, List3,List4,ListD,deg,isOK,Coe…
|
| /dports/lang/gnat_util/gnat_util/ |
| H A D | sinfo.adb | 246 return List4 (N);
556 return List4 (N);
883 return List4 (N);
923 return List4 (N);
1063 return List4 (N);
1189 return List4 (N);
2620 return List4 (N);
|
| H A D | atree.ads | 1397 function List4 (N : Node_Id) return List_Id; subprogspec
1398 pragma Inline (List4);
|
| H A D | atree.adb | 2968 function List4 (N : Node_Id) return List_Id is subprogram
2972 end List4;
|
| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/hipe/test/ |
| H A D | erl_types_SUITE.erl | 94 List4 = ?M:t_cons(?M:t_boolean(), ?M:t_atom()),
97 List7 = ?M:t_sup(List4, List5),
103 false = ?M:t_is_list(List4),
169 "nonempty_improper_list(boolean(),atom())" = ?M:t_to_string(List4),
|
| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/dialyzer/test/opaque_SUITE_data/src/recrec/ |
| H A D | erl_types.erl | 5638 List4 = t_cons(t_boolean(), t_atom()),
5641 List7 = t_sup(List4, List5),
5647 false = t_is_list(List4),
5707 List4,
|
| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/stdlib/test/ |
| H A D | gen_server_SUITE.erl | 407 {error_report,_,{Pid4,crash_report,[List4|_]}} ->
408 {exit,crashed,[{?MODULE, handle_call, 3, _}|_]} = proplists:get_value(error_info, List4),
409 Pid4 = proplists:get_value(pid, List4);
|
| H A D | shell_SUITE.erl | 684 List4 = t(<<"[a,list]. A = [1,2]. "
687 "[1,2,a,list].\n" = string:substr(List4, string:len(List4)-13),
|
| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/stdlib/src/ |
| H A D | lists.erl | 408 -spec zip3(List1, List2, List3) -> List4 when
412 List4 :: [{A, B, C}],
423 -spec unzip3(List1) -> {List2, List3, List4} when
427 List4 :: [C],
457 -spec zipwith3(Combine, List1, List2, List3) -> List4 when
462 List4 :: [T],
537 -spec merge3(List1, List2, List3) -> List4 when
541 List4 :: [(X | Y | Z)],
1125 -spec umerge3(List1, List2, List3) -> List4 when
1129 List4 :: [(X | Y | Z)],
|
| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/hipe/llvm/ |
| H A D | hipe_rtl_to_llvm.erl | 1541 List4 = "[\n" ++ List3 ++ "\n]\n",
1542 hipe_llvm:mk_const_decl("@" ++ Name, "constant", TableType, List4).
1557 List4 = "[\n" ++ List3 ++ "\n]\n",
1562 hipe_llvm:mk_const_decl("@table_closures", "constant", TableType, List4),
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/hipe/llvm/ |
| H A D | hipe_rtl_to_llvm.erl | 1541 List4 = "[\n" ++ List3 ++ "\n]\n",
1542 hipe_llvm:mk_const_decl("@" ++ Name, "constant", TableType, List4).
1557 List4 = "[\n" ++ List3 ++ "\n]\n",
1562 hipe_llvm:mk_const_decl("@table_closures", "constant", TableType, List4),
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/hipe/test/ |
| H A D | erl_types_SUITE.erl | 94 List4 = ?M:t_cons(?M:t_boolean(), ?M:t_atom()),
97 List7 = ?M:t_sup(List4, List5),
103 false = ?M:t_is_list(List4),
169 "nonempty_improper_list(boolean(),atom())" = ?M:t_to_string(List4),
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/dialyzer/test/opaque_SUITE_data/src/recrec/ |
| H A D | erl_types.erl | 5638 List4 = t_cons(t_boolean(), t_atom()),
5641 List7 = t_sup(List4, List5),
5647 false = t_is_list(List4),
5707 List4,
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/stdlib/src/ |
| H A D | lists.erl | 412 -spec zip3(List1, List2, List3) -> List4 when
416 List4 :: [{A, B, C}],
427 -spec unzip3(List1) -> {List2, List3, List4} when
431 List4 :: [C],
461 -spec zipwith3(Combine, List1, List2, List3) -> List4 when
466 List4 :: [T],
541 -spec merge3(List1, List2, List3) -> List4 when
545 List4 :: [(X | Y | Z)],
1129 -spec umerge3(List1, List2, List3) -> List4 when
1133 List4 :: [(X | Y | Z)],
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/stdlib/test/ |
| H A D | gen_server_SUITE.erl | 455 {error_report,_,{Pid4,crash_report,[List4|_]}} ->
456 {exit,crashed,[{?MODULE, handle_call, 3, _}|_]} = proplists:get_value(error_info, List4),
457 Pid4 = proplists:get_value(pid, List4);
|
| H A D | shell_SUITE.erl | 711 List4 = t(<<"[a,list]. A = [1,2]. "
714 "[1,2,a,list].\n" = string:substr(List4, string:len(List4)-13),
|
| /dports/emulators/qemu/qemu-6.2.0/roms/edk2/BaseTools/Source/Python/UPT/Library/ |
| H A D | Parsing.py | 228 TokenGuid, TokenName, List1, List2, List3, List4, List5 = \
237 List1, List2, List3, List4, List5 = \
242 return (TokenName, TokenGuid, List1, List2, List3, List4, List5, Type)
|
| /dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/test/ |
| H A D | erl_types_SUITE.erl | 94 List4 = ?M:t_cons(?M:t_boolean(), ?M:t_atom()),
97 List7 = ?M:t_sup(List4, List5),
103 false = ?M:t_is_list(List4),
169 "nonempty_improper_list(boolean(),atom())" = ?M:t_to_string(List4),
|
| /dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/test/opaque_SUITE_data/src/recrec/ |
| H A D | erl_types.erl | 5638 List4 = t_cons(t_boolean(), t_atom()),
5641 List7 = t_sup(List4, List5),
5647 false = t_is_list(List4),
5707 List4,
|
| /dports/lang/erlang-wx/otp-OTP-24.1.7/lib/stdlib/test/ |
| H A D | gen_server_SUITE.erl | 456 {error_report,_,{Pid4,crash_report,[List4|_]}} ->
457 {exit,crashed,[{?MODULE, handle_call, 3, _}|_]} = proplists:get_value(error_info, List4),
458 Pid4 = proplists:get_value(pid, List4);
|
| /dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/stdlib/test/ |
| H A D | gen_server_SUITE.erl | 456 {error_report,_,{Pid4,crash_report,[List4|_]}} ->
457 {exit,crashed,[{?MODULE, handle_call, 3, _}|_]} = proplists:get_value(error_info, List4),
458 Pid4 = proplists:get_value(pid, List4);
|
| /dports/lang/erlang-wx/otp-OTP-24.1.7/lib/stdlib/src/ |
| H A D | lists.erl | 412 -spec zip3(List1, List2, List3) -> List4 when
416 List4 :: [{A, B, C}],
427 -spec unzip3(List1) -> {List2, List3, List4} when
431 List4 :: [C],
461 -spec zipwith3(Combine, List1, List2, List3) -> List4 when
466 List4 :: [T],
541 -spec merge3(List1, List2, List3) -> List4 when
545 List4 :: [(X | Y | Z)],
1129 -spec umerge3(List1, List2, List3) -> List4 when
1133 List4 :: [(X | Y | Z)],
|
| /dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/test/ |
| H A D | erl_types_SUITE.erl | 94 List4 = ?M:t_cons(?M:t_boolean(), ?M:t_atom()),
97 List7 = ?M:t_sup(List4, List5),
103 false = ?M:t_is_list(List4),
169 "nonempty_improper_list(boolean(),atom())" = ?M:t_to_string(List4),
|
| /dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/test/opaque_SUITE_data/src/recrec/ |
| H A D | erl_types.erl | 5638 List4 = t_cons(t_boolean(), t_atom()),
5641 List7 = t_sup(List4, List5),
5647 false = t_is_list(List4),
5707 List4,
|
| /dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/stdlib/src/ |
| H A D | lists.erl | 412 -spec zip3(List1, List2, List3) -> List4 when
416 List4 :: [{A, B, C}],
427 -spec unzip3(List1) -> {List2, List3, List4} when
431 List4 :: [C],
461 -spec zipwith3(Combine, List1, List2, List3) -> List4 when
466 List4 :: [T],
541 -spec merge3(List1, List2, List3) -> List4 when
545 List4 :: [(X | Y | Z)],
1129 -spec umerge3(List1, List2, List3) -> List4 when
1133 List4 :: [(X | Y | Z)],
|