sig
type prefix_manager
val create : unit -> Schema_prefix_manager.prefix_manager
val add_binding :
Schema_prefix_manager.prefix_manager ->
Namespace_names.prefix * Namespace_names.uri ->
Schema_prefix_manager.prefix_manager
val add_bindings :
Schema_prefix_manager.prefix_manager ->
(Namespace_names.prefix * Namespace_names.uri) list ->
Schema_prefix_manager.prefix_manager
val unresolve_uri :
Schema_prefix_manager.prefix_manager ->
Namespace_names.uri -> Namespace_names.prefix
val invented_bindings :
Schema_prefix_manager.prefix_manager ->
(Namespace_names.prefix * Namespace_names.uri) list
end