Jasmin.Nat0val pred : Datatypes.nat -> Datatypes.natval add : Datatypes.nat -> Datatypes.nat -> Datatypes.natval mul : Datatypes.nat -> Datatypes.nat -> Datatypes.natval sub : Datatypes.nat -> Datatypes.nat -> Datatypes.natval max : Datatypes.nat -> Datatypes.nat -> Datatypes.natval min : Datatypes.nat -> Datatypes.nat -> Datatypes.nat