Legend:
Library
Module
Module type
Parameter
Class
Class type
Data types support module.
Data is a collection of bits, that can be stored and loaded on some media. This module provides functions for doing this in a generic way.
To be on a safe side, we insist on explicit versioning of each data representation. Otherwise, any OCaml value is suitable for this module.
The module defines interfaces Data.S that describes the expected set of functions for data. It also defines a Cache.S interface, that is useful for caching data that is hard to obtain.
type('a, 'b) copy = 'b->'a->int -> unit
copy buf obj pos is a method to copy object obj into a buffer buf, starting from a position pos and will return the number of bytes written. XXX: we need the amount of bytes beforehand.
type('a, 'b) dump = 'b->'a-> unit
dump out obj a type of functions that outputs a value obj into output out