1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
// This is free and unencumbered software released into the public domain.
/// A value of the `xsd:integer` datatype.
///
/// See: <https://www.w3.org/TR/xmlschema-2/#integer>
pub type Integer = Integer;
/// A value of the `xsd:long` datatype.
///
/// See: <https://www.w3.org/TR/xmlschema-2/#long>
pub type Long = i64;
/// A value of the `xsd:int` datatype.
///
/// See: <https://www.w3.org/TR/xmlschema-2/#int>
pub type Int = i32;
/// A value of the `xsd:short` datatype.
///
/// See: <https://www.w3.org/TR/xmlschema-2/#short>
pub type Short = i16;
/// A value of the `xsd:byte` datatype.
///
/// See: <https://www.w3.org/TR/xmlschema-2/#byte>
pub type Byte = i8;
/// A value of the `xsd:nonNegativeInteger` datatype.
///
/// See: <https://www.w3.org/TR/xmlschema-2/#nonNegativeInteger>
pub type NonNegativeInteger = Natural;
/// A value of the `xsd:unsignedLong` datatype.
///
/// See: <https://www.w3.org/TR/xmlschema-2/#unsignedLong>
pub type UnsignedLong = u64;
/// A value of the `xsd:unsignedInt` datatype.
///
/// See: <https://www.w3.org/TR/xmlschema-2/#unsignedInt>
pub type UnsignedInt = u32;
/// A value of the `xsd:unsignedShort` datatype.
///
/// See: <https://www.w3.org/TR/xmlschema-2/#unsignedShort>
pub type UnsignedShort = u16;
/// A value of the `xsd:unsignedByte` datatype.
///
/// See: <https://www.w3.org/TR/xmlschema-2/#unsignedByte>
pub type UnsignedByte = u8;