sig
  val resolve_type_qname :
    Namespace_context.nsenv ->
    Namespace_names.uqname -> Namespace_names.rqname
  val resolve_group_qname :
    Namespace_context.nsenv ->
    Namespace_names.uqname -> Namespace_names.rqname
  val resolve_attrGroup_qname :
    Namespace_context.nsenv ->
    Namespace_names.uqname -> Namespace_names.rqname
  val resolve_element_qname :
    Namespace_context.nsenv ->
    Namespace_names.uqname -> Namespace_names.rqname
  val resolve_element_qname_default :
    Namespace_context.nsenv ->
    Namespace_names.uqname -> Namespace_names.rqname * bool
  val resolve_attribute_qname :
    Namespace_context.nsenv ->
    Namespace_names.uqname -> Namespace_names.rqname
  val resolve_function_qname :
    Namespace_context.nsenv ->
    Namespace_names.uqname -> Namespace_names.rqname
  val resolve_variable_qname :
    Namespace_context.nsenv ->
    Namespace_names.uqname -> Namespace_names.rqname
  val resolve_pragma_qname :
    Namespace_context.nsenv ->
    Namespace_names.uqname -> Namespace_names.rqname
  val resolve_element_qname_to_symbol :
    Namespace_context.nsenv ->
    Namespace_names.uqname -> Namespace_symbols.relem_symbol
  val resolve_attribute_qname_to_symbol :
    Namespace_context.nsenv ->
    Namespace_names.uqname -> Namespace_symbols.rattr_symbol
  val resolve_type_qname_to_symbol :
    Namespace_context.nsenv ->
    Namespace_names.uqname -> Namespace_symbols.rtype_symbol
  val resolve_anon_qname_to_symbol :
    Namespace_context.nsenv ->
    Namespace_names.uqname -> Namespace_symbols.anon_symbol
end