Implements a value that is either in a file, or in memory, but not both. Is used by live and the friend to store sequence numbers and counters. If the value is moved to memory, changed, and then the process crashes, the file will correctly reflect that the value has been lost.
module type Arg = Core.Sexpable
module type S : sig ... end