Module Cduce_lib.Schema_validator

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