Module Logical_algebra_types

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