module Datatypes: sig
.. end
type
xs_ncname = string
type
xs_string = string
type
xs_boolean = bool
type
xs_decimal = Decimal._decimal
type
xs_float = float
type
xs_double = float
type
xs_duration = DateTime.xs_duration
type
xs_dateTime = DateTime.xs_dateTime
type
xs_time = DateTime.xs_time
type
xs_date = DateTime.xs_date
type
xs_gYearMonth = DateTime.xs_gYearMonth
type
xs_gYear = DateTime.xs_gYear
type
xs_gMonthDay = DateTime.xs_gMonthDay
type
xs_gDay = DateTime.xs_gDay
type
xs_gMonth = DateTime.xs_gMonth
type
xs_hexBinary = string
type
xs_base64Binary = string
type
xs_anyURI = AnyURI._uri
type
xs_QName = Namespace_symbols.anon_symbol
type
xs_NOTATION = string
type
xs_integer = Decimal._integer
type
xs_untyped = string
type
xs_yearMonthDuration = DateTime.xs_yearMonthDuration
type
xs_dayTimeDuration = DateTime.xs_dayTimeDuration
type
atomic_type =
| |
ATString |
| |
ATBoolean |
| |
ATDecimal |
| |
ATFloat |
| |
ATDouble |
| |
ATDuration |
| |
ATDateTime |
| |
ATTime |
| |
ATDate |
| |
ATGYearMonth |
| |
ATGYear |
| |
ATGMonthDay |
| |
ATGDay |
| |
ATGMonth |
| |
ATHexBinary |
| |
ATBase64Binary |
| |
ATAnyURI |
| |
ATQName |
| |
ATNOTATION |
| |
ATInteger |
| |
ATYearMonthDuration |
| |
ATDayTimeDuration |
| |
ATUntypedAtomic |
| |
ATAnyAtomic |