diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-31 02:05:28 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-31 02:05:28 -0300 |
| commit | d57288a6143146a99fd1792c543dbade2758ad01 (patch) | |
| tree | 3d13e17e4b329079db18109c07e499d5a8a9d489 /lib/kernel/Initialization.mli | |
| parent | c55092be9108898cb31ed79fe2c341a7a9f7d3bf (diff) | |
| download | RNT-d57288a6143146a99fd1792c543dbade2758ad01.tar.gz RNT-d57288a6143146a99fd1792c543dbade2758ad01.zip | |
Revert "initialization"
This reverts commit c55092be9108898cb31ed79fe2c341a7a9f7d3bf.
Diffstat (limited to '')
| -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 |