sig
  val string_id : 'a -> 'a
  val int_id : string -> int
  val get_multiple : int -> ('a -> 'b) -> 'a -> 'b list
  val get_multiple_cursor : int -> ('a -> 'b) -> 'a -> 'b Cursor.cursor
  val parse_nested_substream :
    int ->
    Streaming_types.resolved_sax_event Stream.t ->
    Streaming_types.resolved_sax_event Cursor.cursor
  val start_typed_element_get_name_no_consume :
    Streaming_types.typed_xml_stream ->
    Namespace_symbols.relem_symbol *
    Streaming_types.typed_sax_xml_attribute_forest
  val start_element_get_name_no_consume :
    Streaming_types.resolved_sax_event Stream.t ->
    Namespace_symbols.relem_symbol *
    Streaming_types.resolved_sax_xml_attribute_forest
  val start_element_get_name :
    Streaming_types.resolved_sax_event Stream.t ->
    Namespace_symbols.relem_symbol *
    Streaming_types.resolved_sax_xml_attribute_forest
  val aux_start_element :
    ('a -> Namespace_symbols.symbol * 'b) ->
    Namespace_symbols.relem_symbol -> 'a -> 'b
  val start_element :
    Namespace_symbols.relem_symbol ->
    Streaming_types.resolved_sax_event Stream.t ->
    Streaming_types.resolved_sax_xml_attribute_forest
  val start_typed_element_get_name :
    Streaming_types.typed_xml_stream ->
    Namespace_symbols.relem_symbol *
    Streaming_types.typed_sax_xml_attribute_forest
  val start_typed_element :
    Namespace_symbols.relem_symbol ->
    Streaming_types.typed_xml_stream ->
    Streaming_types.typed_sax_xml_attribute_forest
  val is_element_end : Streaming_types.resolved_sax_event Stream.t -> bool
  val consume_end_element :
    Streaming_types.resolved_sax_event Stream.t -> unit
  val consume_typed_end_element :
    Streaming_types.typed_annotated_sax_event Cursor.cursor -> unit
  val check_opt_element :
    Namespace_names.rqname ->
    Streaming_types.resolved_sax_event Stream.t -> bool
  val element_parser :
    Namespace_names.rqname ->
    (Streaming_types.resolved_sax_xml_attribute_forest ->
     Streaming_types.resolved_sax_event Stream.t -> 'a) ->
    string -> Streaming_types.resolved_sax_event Stream.t -> 'a
  val parse_attr_helper :
    ('a -> 'b) -> 'c -> (unit -> 'b) -> ('c * 'a) list -> 'b
  val parse_get_typed_attr_from_attr_list :
    Streaming_types.typed_sax_xml_attribute_forest ->
    (Datatypes.xs_untyped -> 'a) -> Namespace_names.rqname -> 'a
  val get_attr_from_attr_list :
    (Namespace_symbols.rattr_symbol * 'a) list ->
    ('a -> 'b) -> Namespace_names.rqname -> 'b
  val get_opt_attr_from_attr_list :
    (Namespace_symbols.rattr_symbol * 'a) list ->
    ('a -> 'b) -> Namespace_names.rqname -> 'b option
  val construct_element :
    Namespace_names.rqname ->
    Small_stream_ast.rsattribute_forest ->
    Small_stream_ast.rsexpr list -> Small_stream_ast.rsexpr
  val construct_attribute :
    Namespace_names.rqname -> string -> Small_stream_ast.rsattribute
  val construct_comment : string -> string -> Small_stream_ast.rsexpr list
  val attribute_of_occurrence :
    (Occurrence.occurs * Occurrence.occurs) option ->
    Small_stream_ast.rsattribute
  val box_rtype_symbol :
    Namespace_symbols.rtype_symbol -> Small_stream_ast.rsexpr
  val box_relem_symbol :
    Namespace_symbols.relem_symbol -> Small_stream_ast.rsexpr
  val box_rattr_symbol :
    Namespace_symbols.rattr_symbol -> Small_stream_ast.rsexpr
  val box_kind_test :
    Xquery_algebra_ast.akind_test -> Small_stream_ast.rsexpr
  val box_aitemtype : Xquery_algebra_ast.aitemtype -> Small_stream_ast.rsexpr
  val box_asequencetype :
    Xquery_algebra_ast.asequencetype -> Small_stream_ast.rsexpr
  val box_optasequencetype :
    Xquery_algebra_ast.asequencetype option -> Small_stream_ast.rsexpr list
  val dep_subexpr_attrs :
    ('a, 'b) Xquery_algebra_ast.aalgop_sub_exprs ->
    (Namespace_names.rqname * string) list
  val indep_subexpr_attrs :
    ('a, 'b) Xquery_algebra_ast.aalgop_sub_exprs ->
    (Namespace_names.rqname * string) list
  val get_dep_subexpr_kind_arity :
    (Namespace_symbols.rattr_symbol * string) list ->
    Planio_common.algop_kind_moniker -> int
  val get_indep_subexpr_kind_arity :
    (Namespace_symbols.rattr_symbol * string) list ->
    Planio_common.algop_kind_moniker -> int
end