Module Shredded_store

module Shredded_store: sig .. end

load_shredded_store_from_resolved_stream xml_stream dir
	name

builds a new Shred store in directory dir, with logical name name, populated from the stream xml_stream

module type Shredded_Store_Functor_Sig = functor (Basetypes : Shredded_store_sigs.Shredded_Basetypes) -> functor (Record : Node_Record  
                                 with type preorder        = Basetypes.preorder  
                                 with type stored_nodeid   = Basetypes.stored_nodeid 
                                 with type record_specific = Basetypes.record_specific 
                                 with type record_kind     = Basetypes.record_kind 
                                 with type eqnameid        = Basetypes.eqnameid 
                                 with type namespaceid     = Basetypes.namespaceid 
                                 with type prefixid        = Basetypes.prefixid 
                                 with type textid          = Basetypes.textid 
                                 with type commentid       = Basetypes.commentid 
                                 with type processingid    = Basetypes.processingid) -> functor (Shredded_Recno : Shredded_store_sigs.Shredded_Recno_Functor_Sig) -> functor (Shredded_Btree_Functor : Shredded_store_sigs.Shredded_Btree_Functor_Sig) -> functor (Shredded_Hash_Functor : Shredded_store_sigs.Shredded_Hash_Functor_Sig) -> sig .. end

module Shredded_Store_Functor: Shredded_Store_Functor_Sig