Module Generic_key.MakeSource

Parameters

module H : Type.S
module N : Key.S with type hash = H.t
module C : Key.S with type hash = H.t

Signature

Commit values

Sourcetype t

The type for commit values.

Sourceval t : t Type.t
Sourcetype node_key = N.t

Type for node keys.

Sourceval node_key_t : node_key Type.t
Sourcetype commit_key = C.t

Type for commit keys.

Sourceval commit_key_t : commit_key Type.t
Sourcemodule Info = Info

The type for commit info.

Sourceval v : info:Info.t -> node:node_key -> parents:commit_key list -> t

Create a commit.

Sourceval node : t -> node_key

The underlying node key.

Sourceval parents : t -> commit_key list

The commit parents.

Sourceval info : t -> Info.t

The commit info.

Sourcemodule Portable : sig ... end