sig
val galax_atomicString : string -> Physical_value.item
val galax_atomicBoolean : bool -> Physical_value.item
val galax_atomicDecimal : int -> Physical_value.item
val galax_atomicInteger : int -> Physical_value.item
val galax_atomicFloat : float -> Physical_value.item
val galax_atomicDouble : float -> Physical_value.item
val galax_atomicAnyURI : string -> Physical_value.item
val galax_atomicQName :
Namespace_context.nsenv * string -> Physical_value.item
val galax_atomicUntyped : string -> Physical_value.item
val galax_atomicDateTime : string -> Physical_value.item
val galax_atomicDate : string -> Physical_value.item
val galax_atomicTime : string -> Physical_value.item
val galax_atomicDayTimeDuration : string -> Physical_value.item
val galax_atomicYearMonthDuration : string -> Physical_value.item
val galax_documentNode :
string * Physical_value.item list -> Physical_value.item
val galax_elementNode :
Physical_value.item * Physical_value.item list *
Physical_value.item list * Physical_value.item -> Physical_value.item
val galax_attributeNode :
Physical_value.item * Physical_value.item * Physical_value.item ->
Physical_value.item
val galax_textNode : Physical_value.item -> Physical_value.item
val galax_commentNode : Physical_value.item -> Physical_value.item
val galax_processingInstructionNode :
Physical_value.item * Physical_value.item -> Physical_value.item
val galax_string_value : Physical_value.item -> string
val galax_item_kind : Physical_value.item -> string
val galax_parent : Physical_value.item -> Physical_value.item list
val galax_children : Physical_value.item -> Physical_value.item list
val galax_base_uri : Physical_value.item -> Physical_value.item list
val galax_node_kind : Physical_value.item -> string
val galax_node_name : Physical_value.item -> Physical_value.item list
val galax_typed_value : Physical_value.item -> Physical_value.item list
val galax_attributes : Physical_value.item -> Physical_value.item list
val galax_string_of_atomicValue : Physical_value.item -> string
val galax_boolean_of_atomicBoolean : Physical_value.item -> bool
val galax_integer_of_atomicInteger : Physical_value.item -> int
val galax_decimal_of_atomicDecimal : Physical_value.item -> int
val galax_float_of_atomicFloat : Physical_value.item -> float
val galax_float_of_atomicDouble : Physical_value.item -> float
type input_source_kind = int
val galax_load_document :
Processing_context.processing_context ->
Galax_wrap.input_source_kind -> string -> Physical_value.item list
val galax_serialize_to_string :
Processing_context.processing_context ->
Physical_value.item list -> string
val galax_serialize_to_stdout :
Processing_context.processing_context -> Physical_value.item list -> unit
val galax_serialize_to_file :
Processing_context.processing_context ->
string -> Physical_value.item list -> unit
val galax_default_processing_context :
unit -> Processing_context.processing_context
val galax_load_standard_library :
Processing_context.processing_context -> Galax.compiled_program
val galax_import_library_module :
Galax.compiled_program ->
Galax_wrap.input_source_kind -> string -> Galax.compiled_program
val galax_import_main_module :
Galax.compiled_program ->
bool ->
Galax_wrap.input_source_kind ->
string -> Galax.compiled_program * Galax.compiled_statement list
val galax_nsenv_from_compiled_program :
Galax.compiled_program -> Namespace_context.nsenv
val galax_default_external_context : unit -> Galax.external_context
val galax_build_external_context :
Processing_context.processing_context ->
Physical_value.item list ->
Physical_value.item list ->
string list -> Physical_value.item list list -> Galax.external_context
val galax_eval_program :
Galax.compiled_program ->
Galax.external_context -> Galax.prepared_program
val galax_eval_statement :
Galax.prepared_program ->
Galax_wrap.input_source_kind -> string -> Physical_value.item list
val galax_eval_compiled_statement :
Galax.prepared_program ->
Galax.compiled_statement -> Physical_value.item list
val galax_set_monitor_mem :
Processing_context.processing_context -> bool -> unit
val galax_set_monitor_time :
Processing_context.processing_context -> bool -> unit
val galax_start_monitor_call :
Processing_context.processing_context -> string -> unit
val galax_end_monitor_call : Processing_context.processing_context -> unit
val galax_monitor_of_last_call :
Processing_context.processing_context -> Physical_value.item list
val galax_monitor_of_all_calls :
Processing_context.processing_context -> Physical_value.item list
val galax_set_normalization_phase :
Processing_context.processing_context -> bool -> unit
val galax_set_typing_phase :
Processing_context.processing_context -> bool -> unit
val galax_set_rewriting_phase :
Processing_context.processing_context -> bool -> unit
val galax_set_evaluation_phase :
Processing_context.processing_context -> bool -> unit
val galax_set_xml_whitespace :
Processing_context.processing_context -> bool -> unit
val galax_set_xml_pis_and_comments :
Processing_context.processing_context -> bool -> unit
val galax_set_sbdo_kind :
Processing_context.processing_context -> int -> unit
val galax_set_typing_kind :
Processing_context.processing_context -> int -> unit
val galax_set_serialization_kind :
Processing_context.processing_context -> int -> unit
val galax_set_projection_kind :
Processing_context.processing_context -> int -> unit
end