module Typing_expr:sig
..end
val type_cexpr : Typing_context.static_context ->
Xquery_core_ast.acexpr -> Xquery_type_core_ast.cxtype
val type_cexpr_with_replace : Typing_context.static_context ->
Xquery_core_ast.acexpr ->
Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype