Refactor Root to prepare for vesting adjustment

The new Root ledger implementation explicitly depends on the exposed
ledgers from Mina_ledger.Ledger. This simplifies a lot of the root
definitions, and makes declaring the root interface much easier. It is
also a functor, allowing the caller to pass in its own account
conversion function.

It is also an existential type that wraps a specific concrete ledger
implementation, so that the root ledger creation functions can
dynamically select a specific implementation when root ledgers are
created/opened. For now, the only concrete implementation is the
existing one, which assumes that the account conversion method is known
at compile time. In future, this implementation will need to change.

Author: cjjdespres

src/app/cli/src/init/mina_run.ml

@@ -9,7 +9,7 @@ open Async
 module Graphql_cohttp_async =
   Graphql_internal.Make (Graphql_async.Schema) (Cohttp_async.Io)
     (Cohttp_async.Body)
-module Root_ledger = Mina_ledger.Ledger.Root
+module Root_ledger = Mina_ledger.Root
 
 let snark_job_list_json t =
   let open Participating_state.Let_syntax in

src/lib/bootstrap_controller/bootstrap_controller.ml

@@ -7,7 +7,7 @@ open Pipe_lib.Strict_pipe
 open Network_peer
 open Mina_stdlib
 module Ledger = Mina_ledger.Ledger
-module Root_ledger = Mina_ledger.Ledger.Root
+module Root_ledger = Mina_ledger.Root
 module Sync_ledger = Mina_ledger.Sync_ledger
 module Transition_cache = Transition_cache
 

src/lib/consensus/intf.ml

@@ -4,7 +4,7 @@ open Async
 open Currency
 open Signature_lib
 open Mina_base
-module Root_ledger = Mina_ledger.Ledger.Root
+module Root_ledger = Mina_ledger.Root
 
 module type CONTEXT = sig
   val logger : Logger.t

src/lib/consensus/proof_of_stake.ml

@@ -7,7 +7,7 @@ open Fold_lib
 open Signature_lib
 open Snark_params
 open Num_util
-module Root_ledger = Mina_ledger.Ledger.Root
+module Root_ledger = Mina_ledger.Root
 
 module Segment_id = Mina_numbers.Nat.Make32 ()
 

src/lib/genesis_ledger/genesis_ledger.ml

@@ -3,7 +3,7 @@ open Currency
 open Signature_lib
 open Mina_base
 module Ledger = Mina_ledger.Ledger
-module Root_ledger = Mina_ledger.Ledger.Root
+module Root_ledger = Mina_ledger.Root
 module Intf = Intf
 module Ledger_transfer_mask =
   Mina_ledger.Ledger_transfer.Make (Ledger) (Ledger.Any_ledger.M)

src/lib/genesis_ledger/intf.ml

@@ -1,7 +1,7 @@
 open Mina_base
 open Signature_lib
 open Core_kernel
-module Root_ledger = Mina_ledger.Ledger.Root
+module Root_ledger = Mina_ledger.Root
 
 module Timing = struct
   type t = (int, int, int, int) Account_timing.Poly.t

src/lib/genesis_ledger_helper/genesis_ledger_helper.ml

@@ -3,7 +3,7 @@ open Async
 open Signature_lib
 open Mina_base
 include Genesis_ledger_helper_lib
-module Root_ledger = Mina_ledger.Ledger.Root
+module Root_ledger = Mina_ledger.Root
 
 type exn += Genesis_state_initialization_error
 

src/lib/mina_graphql/types.ml

@@ -3,7 +3,7 @@ open Async
 open Mina_base
 open Mina_transaction
 module Ledger = Mina_ledger.Ledger
-module Root_ledger = Mina_ledger.Ledger.Root
+module Root_ledger = Mina_ledger.Root
 open Signature_lib
 open Currency
 open Schema

src/lib/mina_intf/transition_frontier_components_intf.ml

@@ -4,7 +4,7 @@ open Pipe_lib
 open Cache_lib
 open Mina_base
 open Network_peer
-module Root_ledger = Mina_ledger.Ledger.Root
+module Root_ledger = Mina_ledger.Root
 
 module type CONTEXT = sig
   val logger : Logger.t
@@ -343,7 +343,7 @@ module type Transition_router_intf = sig
           -> Transaction_snark_work.Checked.t option )
     -> catchup_mode:[ `Super ]
     -> notify_online:(unit -> unit Deferred.t)
-    -> ledger_backing:Root_ledger.Config.backing_type
+    -> ledger_backing:Mina_ledger.Root.Config.backing_type
     -> unit
     -> ( [ `Transition of Mina_block.Validated.t ]
        * [ `Source of [ `Gossip | `Catchup | `Internal ] ]

src/lib/mina_ledger/ledger.ml

@@ -294,6 +294,36 @@ module Ledger_inner = struct
       (Db)
       (Hardfork_db)
 
+  module Make_converting (Converting_inputs : sig
+    val convert : Account.t -> Account.Hardfork.t
+  end) :
+    Merkle_ledger.Intf.Ledger.Converting.WITH_DATABASE
+      with module Location = Location
+       and module Addr = Location.Addr
+      with type root_hash := Ledger_hash.t
+       and type hash := Ledger_hash.t
+       and type account := Account.t
+       and type key := Signature_lib.Public_key.Compressed.t
+       and type token_id := Token_id.t
+       and type token_id_set := Token_id.Set.t
+       and type account_id := Account_id.t
+       and type account_id_set := Account_id.Set.t
+       and type converted_account := Account.Hardfork.t
+       and type primary_ledger = Db.t
+       and type converting_ledger = Hardfork_db.t =
+    Converting_merkle_tree.With_database
+      (struct
+        type converted_account = Account.Hardfork.t
+
+        let convert = Converting_inputs.convert
+
+        let converted_equal = Account.Hardfork.equal
+
+        include Inputs
+      end)
+      (Db)
+      (Hardfork_db)
+
   let of_any_ledger ledger =
     let mask = Mask.create ~depth:(Any_ledger.M.depth ledger) () in
     Maskable.register_mask ledger mask
@@ -328,12 +358,6 @@ module Ledger_inner = struct
     ( Maskable.register_mask casted mask
     , Converting_ledger.converting_ledger converting_ledger )
 
-  module Root = struct
-    include Root.Make (Any_ledger) (Db) (Hardfork_db) (Converting_ledger)
-
-    let as_masked t = as_unmasked t |> of_any_ledger
-  end
-
   (** Create a new empty ledger.
 
       Warning: This skips mask registration, for use in transaction logic,