Module Typing_context

module Typing_context: sig .. end

type static_context 

val default_static_context : Norm_context.norm_context -> static_context

val replace_norm_context_in_static_context : Norm_context.norm_context ->
       static_context -> static_context

val var_from_static_context : static_context ->
       Xquery_common_ast.cvname -> Finfo.finfo -> Xquery_type_core_ast.cxtype

val add_var_to_static_context : static_context ->
       Xquery_common_ast.cvname * Xquery_type_core_ast.cxtype ->
       static_context

val norm_context_from_stat_context : static_context -> Norm_context.norm_context

val schema_from_static_context : static_context -> Xquery_type_core_ast.cxschema

val schema_namer_from_static_context : static_context -> Schema_namer.t

val vars_from_static_context : static_context ->
       (Xquery_common_ast.cvname * Xquery_type_core_ast.cxtype) list