sig
  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
end