Go to the first, previous, next, last section, table of contents.


The Xmlstate module

the differnt contexts -- see xmlscan module

type context = ElementContext | DataContext | DeclContext | PiContext

functions to get and set the context

val setContext : context -> unit
val getContext : unit -> context


Go to the first, previous, next, last section, table of contents.