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

(* $Id: cast_as.mli,v 1.1 2003/05/01 20:02:07 simeon Exp $ *)

(* Module Cast_as
   Description:
     This module implements casting of atomic values to a given atomic
     type.
*)

val eval_cast :
    Namespace.nsenv -> Datatypes.atomic_type -> Datatypes._AtomicValue -> Datatypes._AtomicValue

