Axiom word : nat -> Set. Axiom wones : forall (sz : nat), word sz.
Axiom combine : forall (sz1 : nat) (w : word sz1), forall sz2, word sz2 -> word (sz1 + sz2). Axiom split1 : forall (sz1 sz2 : nat), word (sz1 + sz2) -> word sz1. Axiom bitwp : forall (f : bool -> bool -> bool) sz (w1 : word sz), word sz -> word sz. Axiom split1_combine : forall sz1 sz2 (w : word sz1) (z : word sz2), split1 sz1 sz2 (combine _ w _ z) = w.
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
