Module Rewriting_judgments

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