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