sig
  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
end