Module Code_util_matching

module Code_util_matching: sig .. end

val dynamic_type_check : Typing_context.static_context ->
       Xquery_algebra_ast.asequencetype ->
       Physical_value.item Cursor.cursor -> Physical_value.item Cursor.cursor

val dynamic_opttype_check : Typing_context.static_context ->
       Xquery_algebra_ast.asequencetype option ->
       Physical_value.item Cursor.cursor -> Physical_value.item Cursor.cursor

val dynamic_type_check_item : Typing_context.static_context ->
       Xquery_algebra_ast.asequencetype -> Physical_value.item -> unit

val dynamic_opttype_check_item : Typing_context.static_context ->
       Xquery_algebra_ast.asequencetype option -> Physical_value.item -> unit

val boolean_dynamic_type_check : Typing_context.static_context ->
       Xquery_algebra_ast.asequencetype -> Physical_value.item list -> bool