Make (mavkit-internal-libs.Irmin.Commit.V1.Make)

Parameters

module Hash : Hash.S

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

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

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