/dports/lang/swi-pl/swipl-8.2.3/packages/paxos/test/ |
H A D | nodes.pl | 398 Left1 is Left - 1, 399 nb_setarg(1, State, Left1), 400 ( Left1 == 0
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/windows-sys-0.28.0/src/Windows/Gaming/Input/ |
H A D | mod.rs | 128 pub const Left1: Self = Self(50i32); const
|
/dports/math/abella/abella-2.0.7/examples/process-calculi/pic/ |
H A D | pic_core.thm | 212 coinduction. intros. Left1 : case H1. Right1 : case H2. unfold. 213 intros. apply Left1 to *H3. apply Right1 to *H4.
|
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/include/algo/align/nw/ |
H A D | nw_aligner.hpp | 126 void SetEndSpaceFree(bool Left1, bool Right1, bool Left2, bool Right2);
|
/dports/net/rabbitmq/rabbitmq-server-3.9.11/deps/stdout_formatter/src/ |
H A D | stdout_formatter_paragraph.erl | 614 Left1 = lists:reverse([LeftPart | Left]) ++ Rest, 616 {Left1, Right1}
|
/dports/multimedia/libv4l/linux-5.13-rc2/Documentation/input/devices/ |
H A D | amijoy.rst | 17 4 Left1 8 Left2
|
/dports/multimedia/v4l-utils/linux-5.13-rc2/Documentation/input/devices/ |
H A D | amijoy.rst | 17 4 Left1 8 Left2
|
/dports/multimedia/v4l_compat/linux-5.13-rc2/Documentation/input/devices/ |
H A D | amijoy.rst | 17 4 Left1 8 Left2
|
/dports/lang/yap/yap-6.2.2/library/clp/ |
H A D | simplex.pl | 83 coeff_one(Left, Left1), 84 clpr_state_add_constraint(c(Name, Left1, Op, Right), S0, S) 281 clpr_standard_form_((>=), Name, Left, Right, c(Name, Left1, (=<), Right1)) :- 283 clpr_all_negate(Left, Left1).
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/hipe/icode/ |
H A D | hipe_icode_primops.erl | 968 check_fun_args([T1|Left1], [T2|Left2]) -> 972 check_fun_args(Left1, Left2);
|
H A D | hipe_icode_type.erl | 1792 compare([{Var, Type1}|Left1], [{Var, Type2}|Left2]) -> 1793 t_is_equal(Type1, Type2) andalso compare(Left1, Left2);
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/hipe/icode/ |
H A D | hipe_icode_primops.erl | 974 check_fun_args([T1|Left1], [T2|Left2]) -> 978 check_fun_args(Left1, Left2);
|
H A D | hipe_icode_type.erl | 1792 compare([{Var, Type1}|Left1], [{Var, Type2}|Left2]) -> 1793 t_is_equal(Type1, Type2) andalso compare(Left1, Left2);
|
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/hipe/icode/ |
H A D | hipe_icode_primops.erl | 973 check_fun_args([T1|Left1], [T2|Left2]) -> 977 check_fun_args(Left1, Left2);
|
H A D | hipe_icode_type.erl | 1792 compare([{Var, Type1}|Left1], [{Var, Type2}|Left2]) -> 1793 t_is_equal(Type1, Type2) andalso compare(Left1, Left2);
|
/dports/lang/swi-pl/swipl-8.2.3/library/clp/ |
H A D | simplex.pl | 264 coeff_one(Left, Left1), 265 clpr_state_add_constraint(c(Name, Left1, Op, Right), S0, S) 429 clpr_standard_form_((>=), Name, Left, Right, c(Name, Left1, (=<), Right1)) :- 431 maplist(linsum_negate, Left, Left1).
|
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/algo/align/nw/ |
H A D | nw_aligner.cpp | 192 void CNWAligner::SetEndSpaceFree(bool Left1, bool Right1, in SetEndSpaceFree() argument 195 m_esf_L1 = Left1; in SetEndSpaceFree()
|
/dports/net/rabbitmq/rabbitmq-server-3.9.11/deps/rabbit/src/ |
H A D | gm.erl | 1296 Left1 = ensure_neighbour(Ver, Self, Left, VLeft), 1302 State1 = State #state { left = Left1, right = Right1,
|
/dports/audio/uade/uade-2.13/amigasrc/players/musicline_editor/don_adan/ |
H A D | musicline_4v.asm | 178 beq.s Left1 187 Left1 label
|
/dports/lang/elixir/elixir-1.12.3/lib/elixir/src/ |
H A D | elixir_expand.erl | 1014 refute_parallel_bitstring_match({Left1, Left2}, {Right1, Right2}, E, Parallel) -> 1015 refute_parallel_bitstring_match_each([Left1, Left2], [Right1, Right2], E, Parallel);
|
/dports/lang/elixir-devel/elixir-1.13.1/lib/elixir/src/ |
H A D | elixir_expand.erl | 1044 refute_parallel_bitstring_match({Left1, Left2}, {Right1, Right2}, E, Parallel) -> 1045 refute_parallel_bitstring_match_each([Left1, Left2], [Right1, Right2], E, Parallel);
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/dialyzer/src/ |
H A D | dialyzer_typesig.erl | 2881 strip_of_any_constrs([T1|Left1], [T2|Left2], Acc1, Acc2) -> 2883 true -> strip_of_any_constrs(Left1, Left2, Acc1, Acc2); 2884 false -> strip_of_any_constrs(Left1, Left2, [T1|Acc1], [T2|Acc2])
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/dialyzer/src/ |
H A D | dialyzer_typesig.erl | 2884 strip_of_any_constrs([T1|Left1], [T2|Left2], Acc1, Acc2) -> 2886 true -> strip_of_any_constrs(Left1, Left2, Acc1, Acc2); 2887 false -> strip_of_any_constrs(Left1, Left2, [T1|Acc1], [T2|Acc2])
|
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/src/ |
H A D | dialyzer_typesig.erl | 2884 strip_of_any_constrs([T1|Left1], [T2|Left2], Acc1, Acc2) -> 2886 true -> strip_of_any_constrs(Left1, Left2, Acc1, Acc2); 2887 false -> strip_of_any_constrs(Left1, Left2, [T1|Acc1], [T2|Acc2])
|
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/src/ |
H A D | dialyzer_typesig.erl | 2884 strip_of_any_constrs([T1|Left1], [T2|Left2], Acc1, Acc2) -> 2886 true -> strip_of_any_constrs(Left1, Left2, Acc1, Acc2); 2887 false -> strip_of_any_constrs(Left1, Left2, [T1|Acc1], [T2|Acc2])
|