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

(* $Id: validation.mli,v 1.11 2002/09/21 05:51:22 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 ->
	Simple._anyURI ->
	  Xml_ast.xml_document ->
	    Datamodel._InstanceForest


