sig
  type validation_context
  val build_validation_context :
    Namespace_context.nsenv ->
    Xquery_type_core_ast.cxschema ->
    Streaming_types.resolved_xml_stream ->
    Schema_validation_context.validation_context
  val push_nsenv :
    Schema_validation_context.validation_context ->
    Namespace_context.nsenv -> unit
  val get_namespace_env :
    Schema_validation_context.validation_context -> Namespace_context.nsenv
  val get_current_content_model :
    Schema_validation_context.validation_context ->
    Xquery_type_core_ast.cxtype
  val get_cxschema :
    Schema_validation_context.validation_context ->
    Xquery_type_core_ast.cxschema
  val has_mixed_content :
    Schema_validation_context.validation_context -> bool
  val has_been_nilled : Schema_validation_context.validation_context -> bool
  val next_validation_event :
    Schema_validation_context.validation_context ->
    Streaming_types.resolved_sax_event
  val push_document_event :
    Schema_validation_context.validation_context -> unit
  val pop_document_event :
    Schema_validation_context.validation_context -> unit
  val push_complex_element_event :
    Schema_validation_context.validation_context ->
    Xquery_type_core_ast.cxtype ->
    Xquery_common_ast.mixed -> bool -> Xquery_type_core_ast.cxtype -> unit
  val push_simple_element_event :
    Schema_validation_context.validation_context ->
    Xquery_type_core_ast.cxtype ->
    Streaming_types.resolved_sax_event list -> unit
  val pop_element_event :
    Schema_validation_context.validation_context -> unit
end