sig
  type static_context
  val default_static_context :
    Norm_context.norm_context -> Typing_context.static_context
  val replace_norm_context_in_static_context :
    Norm_context.norm_context ->
    Typing_context.static_context -> Typing_context.static_context
  val var_from_static_context :
    Typing_context.static_context ->
    Xquery_common_ast.cvname -> Finfo.finfo -> Xquery_type_core_ast.cxtype
  val add_var_to_static_context :
    Typing_context.static_context ->
    Xquery_common_ast.cvname * Xquery_type_core_ast.cxtype ->
    Typing_context.static_context
  val norm_context_from_stat_context :
    Typing_context.static_context -> Norm_context.norm_context
  val schema_from_static_context :
    Typing_context.static_context -> Xquery_type_core_ast.cxschema
  val schema_namer_from_static_context :
    Typing_context.static_context -> Schema_namer.t
  val vars_from_static_context :
    Typing_context.static_context ->
    (Xquery_common_ast.cvname * Xquery_type_core_ast.cxtype) list
end