Module Typing_top

module Typing_top: sig .. end

val typing_type_cexpr : Typing_context.static_context ->
       Xquery_core_ast.acexpr -> Typing_context.static_context

val typing_type_cstatement : Typing_context.static_context ->
       Xquery_core_ast.acstatement -> Typing_context.static_context

val typing_type_cprolog : Typing_context.static_context ->
       Xquery_core_ast.acprolog -> Typing_context.static_context

val typing_type_cxmodule : Typing_context.static_context ->
       Xquery_core_ast.acxmodule -> Typing_context.static_context