Up
Next
Module
Archive
module
Archive:
sig
..
end
High-level archive handling
Author(s):
Sylvain Le Gall
type
filename
=
string
module
Read
:
sig
..
end
Read-only archive