Make (octez-libs.Brassaia_eio.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

val encoding : t Data_encoding.t

encoding is the data_encoding for t.

type node_key = C.node_key

Type for node keys.

val node_key_t : node_key Type.t

val node_key_encoding : node_key Data_encoding.t

node_key_encoding is the data_encoding for node_key.

type commit_key = C.commit_key

Type for commit keys.

val commit_key_t : commit_key Type.t

val commit_key_encoding : commit_key Data_encoding.t

commit_key_encoding is the data_encoding for commit_key.

module Info = Info

The type for commit info.

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

init ~info ~node ~parents returns a new 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