Module Top_util.InternalQuery

module InternalQuery: sig .. end

val default_proc_ctxt : unit -> Processing_context.processing_context
val defaultcp : unit -> Galax.compiled_program
val get_string : Physical_value.item list -> Datatypes.xs_string
val get_string_list : Physical_value.item list -> Datatypes.xs_string list
val get_int : Physical_value.item list -> int
val get_float : Physical_value.item list -> Datatypes.xs_float
val get_item : Physical_value.item list -> Physical_value.item
val get_item_list : Physical_value.item list -> Physical_value.item list
val make_from_string : Datatypes.xs_string -> Physical_value.item list
val make_from_int : int -> Physical_value.item list
val load_document_item : Galax_io.input_spec -> Physical_value.item
val load_prolog : Galax_io.input_spec -> Galax.compiled_program
val ccp : Galax.compiled_program
val eval_to_string : (string -> Physical_value.item -> Physical_value.item list) ->
string -> Physical_value.item -> Datatypes.xs_string
val eval_to_string_list : (string -> Physical_value.item -> Physical_value.item list) ->
string -> Physical_value.item -> Datatypes.xs_string list
val eval_to_int : (string -> Physical_value.item -> Physical_value.item list) ->
string -> Physical_value.item -> int
val eval_to_float : (string -> Physical_value.item -> Physical_value.item list) ->
string -> Physical_value.item -> Datatypes.xs_float
val eval_to_float_list : (string -> Physical_value.item -> Physical_value.item list) ->
string -> Physical_value.item -> Datatypes.xs_float list
val eval_to_item : (string -> Physical_value.item -> Physical_value.item list) ->
string -> Physical_value.item -> Physical_value.item
val eval_to_item_list : (string -> Physical_value.item -> Physical_value.item list) ->
string -> Physical_value.item -> Physical_value.item list
val eval_expr : string -> Physical_value.item -> Physical_value.item list