sig
  val validate :
    Xquery_type_core_ast.cxschema ->
    Streaming_types.resolved_xml_stream -> Streaming_types.typed_xml_stream
end