The type for commit info.

Create a new commit info.

date t is t's commit date.

The date provided by the user when calling the create function. Rounding Unix.gettimeofday () (when available) is a good value for such date. On more esoteric platforms, any monotonic counter is a fine value as well. On the Git backend, the date is translated into the commit Date field and is expected to be the number of POSIX seconds (thus not counting leap seconds) since the Epoch.

author t is t's commit author.

The author identifies the entity (human, unikernel, process, thread, etc) performing an operation. For the Git backend, this will be directly translated into the Author field.

message t is t's commit message.

The empty commit info.

Alias for functions which can build commit info.

The empty info function. none () is empty

t is the value type for t.