Previous  Up  Next

Module Typing_expr

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