Module Cduce_core.Schema_validator

val validate_type : Schema_types.type_definition -> Value.t -> Value.t
val validate_element : Schema_types.element_declaration -> Value.t -> Value.t
val validate_attribute_group : Schema_types.attribute_group_definition -> Value.t -> Value.t
val validate_model_group : Schema_types.model_group_definition -> Value.t -> Value.t
val validate_simple_type : Schema_types.simple_type_definition -> Encodings.Utf8.t -> Value.t
type t =
| VAttrGp of Schema_types.attribute_group_definition
| VModelGp of Schema_types.model_group_definition
| VType of Schema_types.type_definition
| VElem of Schema_types.element_declaration
val run : t -> Value.t -> Value.t