Module Shredded_store

module Shredded_store: sig .. end

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