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

(* $Id: whitespace.mli,v 1.5 2002/11/21 18:39:41 simeon Exp $ *)

(* Module Whitespace
   Description:
     Manipulation of whitespace within strings. Used during whitespace
     handling in XML/XQuery.
*)

(* Whitespace operations *)

val remove_whitespace : string -> string
(*
val remove_whitespace_and_empty : string -> string option
*)

val whitespace_only : string -> bool

(* Whitespace or not whitespace ? That is the question... *)

val white : char -> bool

type mode =
  | Preserve
  | Default

