Module `Cduce_core.Schema_builtin`

exception Error of string

type t

val is : Ns.QName.t -> bool
val get : Ns.QName.t -> t
val iter : (Ns.QName.t -> t -> unit) -> unit
val of_st : Schema_types.simple_type_definition -> t
val simple_type : t -> Schema_types.simple_type_definition
val cd_type : t -> Cduce_types.Types.t
val validate : t -> Encodings.Utf8.t -> Value.t
val string_of_time_type : (Ns.Label.t * Value.t) list -> Encodings.Utf8.t
val any_simple_type : t
val string : t