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 |