module Rewriting_judgments:sig..end
val used_count : Xquery_common_ast.cvname -> Xquery_core_ast.acexpr -> int
val can_fail : Processing_context.processing_context -> Xquery_core_ast.acexpr -> bool
val does_node_care_about_order : Xquery_core_ast.acexpr -> bool
val should_inline_variable : Processing_context.processing_context -> Xquery_core_ast.acexpr -> bool
val has_side_effect_judge : Xquery_core_ast.acexpr -> bool
val side_effect_free_judge : Xquery_core_ast.acexpr -> bool