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