Require Import PrimInt63.Set Implicit Arguments .Open Scope uint63_scope.Check (eq_refl : lor 0 0 = 0 ).Check (eq_refl 0 <: lor 0 0 = 0 ).Check (eq_refl 0 <<: lor 0 0 = 0 ).Definition compute1 := Eval compute in lor 0 0 .Check (eq_refl compute1 : 0 = 0 ).Check (eq_refl : lor 9223372036854775807 0 = 9223372036854775807 ).Check (eq_refl 9223372036854775807 <: lor 9223372036854775807 0 = 9223372036854775807 ).Check (eq_refl 9223372036854775807 <<: lor 9223372036854775807 0 = 9223372036854775807 ).Definition compute2 := Eval compute in lor 9223372036854775807 0 .Check (eq_refl compute2 : 9223372036854775807 = 9223372036854775807 ).Check (eq_refl : lor 0 9223372036854775807 = 9223372036854775807 ).Check (eq_refl 9223372036854775807 <: lor 0 9223372036854775807 = 9223372036854775807 ).Check (eq_refl 9223372036854775807 <<: lor 0 9223372036854775807 = 9223372036854775807 ).Definition compute3 := Eval compute in lor 0 9223372036854775807 .Check (eq_refl compute3 : 9223372036854775807 = 9223372036854775807 ).Check (eq_refl : lor 9223372036854775807 9223372036854775807 = 9223372036854775807 ).Check (eq_refl 9223372036854775807 <: lor 9223372036854775807 9223372036854775807 = 9223372036854775807 ).Check (eq_refl 9223372036854775807 <<: lor 9223372036854775807 9223372036854775807 = 9223372036854775807 ).Definition compute4 := Eval compute in lor 9223372036854775807 9223372036854775807 .Check (eq_refl compute4 : 9223372036854775807 = 9223372036854775807 ).
Messung V0.5 in Prozent C=91 H=99 G=94
¤ Dauer der Verarbeitung: 0.10 Sekunden
(vorverarbeitet am 2026-06-04)
¤ *© Formatika GbR, Deutschland
