sig
  type bltin_type_rule =
      Typing_context.static_context ->
      Finfo.finfo ->
      Xquery_type_core_ast.cxtype list ->
      Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype
  val lookup_bltin_fctn_type_rule :
    Xquery_common_ast.cfname_arity -> Typing_fn.bltin_type_rule
  val has_special_type_rule : Xquery_common_ast.cfname_arity -> bool
end