sig
  val build_staircase_join_code :
    Code_selection_context.code_selection_context ->
    Xquery_common_ast.crname ->
    Xquery_algebra_ast.twig_pattern ->
    unit ->
    Algebra_type.eval_fun ->
    Execution_context.algebra_context ->
    Physical_value.tuple_unit Cursor.cursor ->
    Physical_value.tuple_unit Cursor.cursor
end