Previous
Up
Module
Store_intf
module
Store_intf:
sig
..
end
Specification of indices used to index elements in stores
module type
INDEX
=
sig
..
end
module type
STORE
=
sig
..
end
Interface to stores