diff options
Diffstat (limited to 'lib/kernel/Initialization.mli')
| -rw-r--r-- | lib/kernel/Initialization.mli | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/lib/kernel/Initialization.mli b/lib/kernel/Initialization.mli deleted file mode 100644 index 35e6f22..0000000 --- a/lib/kernel/Initialization.mli +++ /dev/null @@ -1,19 +0,0 @@ -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 |