Module Typing_fn

module Typing_fn: sig .. end

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 -> bltin_type_rule

val has_special_type_rule : Xquery_common_ast.cfname_arity -> bool