Module V1.Make

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

type t

The type for commit values.

val t : t Type.t
type node_key = C.node_key

Type for node keys.

val node_key_t : node_key Type.t
type commit_key = C.commit_key

Type for commit keys.

val commit_key_t : commit_key Type.t
module Info = Info

The type for commit info.

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

Create a commit.

val node : t -> node_key

The underlying node key.

val parents : t -> commit_key list

The commit parents.

val info : t -> Info.t

The commit info.

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