sig
  val box_logical_algebra_statement :
    Namespace_context.nsenv ->
    Algebra_type.algop_expr -> Streaming_types.resolved_xml_stream
  val serialize_logical_algebra_statement :
    Processing_context.processing_context ->
    Galax_io.output_spec -> Algebra_type.algop_expr -> unit
  val parse_logical_algebra_statement :
    Processing_context.processing_context ->
    Logical_algebra_types.logical_compile_context ->
    Galax_io.input_spec -> Logical_algebra_types.logical_algop_expr
  val box_logical_algebra_module :
    Namespace_context.nsenv ->
    ('a, 'b, 'c) Xquery_algebra_ast.aalgop_xmodule ->
    Streaming_types.resolved_xml_stream
  val parse_logical_algebra_module :
    Processing_context.processing_context ->
    Logical_algebra_types.logical_compile_context ->
    Galax_io.input_spec ->
    Logical_algebra_types.logical_algop_xmodule *
    Logical_algebra_types.logical_compile_context
  val box_closure_environment :
    Namespace_context.nsenv ->
    (Xquery_common_ast.cvname * Physical_value.xml_value) list ->
    (Xquery_common_ast.cvname * Physical_value.xml_value) list ->
    Streaming_types.resolved_xml_stream
  val box_closure :
    Namespace_context.nsenv ->
    Streaming_types.resolved_xml_stream ->
    Streaming_types.resolved_xml_stream ->
    Streaming_types.resolved_xml_stream
  val parse_closure :
    Processing_context.processing_context ->
    Logical_algebra_types.logical_compile_context ->
    Galax_io.input_spec ->
    ((Namespace_names.rqname * Streaming_types.resolved_xml_stream) list *
     (Namespace_names.rqname * Streaming_types.resolved_xml_stream) list) *
    Logical_algebra_types.logical_algop_expr
end