Closed patricoferris closed 11 months ago
This PR adds Repr.t to the interface to allow users to persist their indexes to disk if they want. Requires https://github.com/mirage/repr/pull/104
Repr.t
This PR adds
Repr.t
to the interface to allow users to persist their indexes to disk if they want. Requires https://github.com/mirage/repr/pull/104