(***********************************************************************)
(*                                                                     *)
(*                                 GALAX                               *)
(*                            XML Query Engine                         *)
(*                                                                     *)
(*  Copyright 2000, Lucent Technologies.                               *)
(*  Distributed only by permission.                                    *)
(*                                                                     *)
(***********************************************************************)

(* $Id: validation-sax.mli,v 1.1 2002/05/29 03:53:23 simeon Exp $ *)

(*********************)
(* Schema validation *)
(*********************)

(* Note:
     This module performs validation on XML AST's directly and loads
     them into the XQuery Data Model.
   - Jerome
*)

val validate_document :
    Namespace.nsenv ->
      Schema.schema ->
	Namespace.uri ->
	  Sax.doc_stream ->
	    Datamodel._InstanceForest

