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 |