module Logical_algebra_types: sig
.. end
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