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