blob: 35e6f2210d0e599bb3cda5004cd0797107314371 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
type address = Concepts.Hash.hash
type t
val fixed_label : string
val fixed_label_address : address
include Concepts.Object.S with type t := t
val make : default_branch:string -> branches:address -> t
val default_branch : t -> string
val branches : t -> address
val address : t -> address
module Make (Store : Abstract.Storage.STORAGE) : sig
val register : Store.transaction -> t -> (address, Concepts.Condition.condition) result
val load : Store.transaction -> (t option, Concepts.Condition.condition) result
end
|
