|
(* Classes and sections *)
Section OPT.
Variable A: Type.
Inductive MyOption: Type :=
| MyNone: MyOption
| MySome: A -> MyOption.
Class Opt: Type := {
f_opt: A -> MyOption
}.
End OPT.
Definition f_nat (n: nat): MyOption nat := MySome _ n.
Instance Nat_Opt: Opt nat := {
f_opt := f_nat
}.
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.38Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
|
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
Ziele
Entwicklung einer Software für die statische Quellcodeanalyse
|
