Module V1.MakeSource

Parameters

module Hash : Hash.S
module C : Generic_key.S with module Info := Info

Signature

include Generic_key.S with module Info = Info and type node_key = C.node_key and type commit_key = C.commit_key

Commit values

Sourcetype t

The type for commit values.

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

Type for node keys.

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

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.

Sourceval import : C.t -> t
Sourceval export : t -> C.t