sig
  type 'a semilogical_opt_algop_expr =
      ('a option, Alg_path_struct.path_annotation)
      Xquery_algebra_ast.aalgop_expr
  type 'a semilogical_opt_algop_sub_exprs =
      ('a option, Alg_path_struct.path_annotation)
      Xquery_algebra_ast.aalgop_sub_exprs
  type 'a semilogical_algop_sub_exprs =
      ('a, Alg_path_struct.path_annotation)
      Xquery_algebra_ast.aalgop_sub_exprs
  type ('a, 'b) semilogical_algop_decl =
      ('a, Alg_path_struct.path_annotation, 'b option)
      Xquery_algebra_ast.aalgop_decl
  type logical_algop_sub_exprs =
      (unit, Alg_path_struct.path_annotation)
      Xquery_algebra_ast.aalgop_sub_exprs
  type logical_algop_expr =
      (unit, Alg_path_struct.path_annotation) Xquery_algebra_ast.aalgop_expr
  type logical_algop_decl =
      (unit, Alg_path_struct.path_annotation, unit)
      Xquery_algebra_ast.aalgop_decl
  type logical_algop_prolog =
      (unit, Alg_path_struct.path_annotation, unit)
      Xquery_algebra_ast.aalgop_prolog
  type logical_algop_xmodule =
      (unit, Alg_path_struct.path_annotation, unit)
      Xquery_algebra_ast.aalgop_xmodule
  type logical_algop_function_body =
      (unit, Alg_path_struct.path_annotation) Xquery_algebra_ast.aalgop_expr
  type logical_compile_context =
      (unit, Alg_path_struct.path_annotation) Compile_context.compile_context
end