sig val compile_cexpr : Logical_algebra_types.logical_compile_context -> Xquery_core_ast.acexpr -> Logical_algebra_types.logical_algop_expr end