rahmenlose Ansicht.out DruckansichtUnknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
= a
: nat
= n + 0
: nat
= S (1 + 2)
: nat
= S (1 + 2)
: nat
= S
((fix add (n m : nat) {struct n} : nat :=
match n with
| 0 => m
| S p => S (add p m)
end)
1 2)
: nat
= 4
: nat
= (fix add (n m : nat) {struct n} : nat :=
match n with
| 0 => m
| S p => S (add p m)
end)
2 2
: nat
= S (1 + (2 + 2))
: nat
= S (1 + 2 + 2)
: nat
= 6
: nat
= ignore (fun x : nat => 1 + x)
: unit
= ignore (fun x : nat => 1 + x)
: unit
= ignore (fun x : nat => 1 + x)
: unit
= ignore (fun x : nat => 1 + x)
: unit
- : constr = constr:(4)
- : constr = constr:(2 + 2)
= let x := 2 in 2 + 2
: nat
= let x := 2 in 4
: nat
= (let x := 2 in fun x0 : nat => 1 + x0) 2
: nat
= match n with
| 0 => 1 + 1
| S n => 1 + n
end
: nat
= fix f (n : nat) : nat :=
match 0 + n with
| 0 => 1 + 1
| S n0 => 1 + f n0
end
: nat -> nat
= 4%uint63
: int
= add 2 x
: int
= 1%float
: float
[ Verzeichnis aufwärts0.57unsichere Verbindung
]
