Integrity_checks.Xmodule Schema : Brassaia.Schema.S with type Hash.t = XKey.hashA store schema, meant to be provided by the user.
module Hash : Brassaia.Hash.S with type t = Schema.Hash.tHashing implementation.
module Contents :
Brassaia.Contents.Store
with type hash = Hash.t
and type value = Schema.Contents.tA contents store.
module Node :
Brassaia.Node.Store
with type hash = Hash.t
and type Val.contents_key = Contents.key
with type key = XKey.tA node store.
module Node_portable :
Brassaia.Backend.Node_portable
with type node := Node.value
and type hash := Hash.tA node abstraction that is portable from different repos. Similar to Node.Val.
module Commit :
Brassaia.Commit.Store
with type hash = Hash.t
and type Val.node_key = Node.key
and module Info = Schema.Info
with type key = XKey.tA commit store.
module Commit_portable :
Brassaia.Backend.Commit_portable
with type commit := Commit.value
and type hash := Hash.t
and module Info = Schema.InfoA commit abstraction that is portable from different repos. Similar to Commit.Val.
module Branch :
Brassaia.Branch.Store
with type key = Schema.Branch.t
and type value = Commit.keyA branch store.
module Slice : sig ... endA slice abstraction.
module Repo : sig ... endA repo abstraction.
module Remote : sig ... endURI-based low-level remote synchronisation.