Persistent_root.Locations
val snarked_ledger : Core_kernel__.Import.string -> Core_kernel__.Import.string
val tmp_snarked_ledger : Core_kernel__.Import.string -> Core_kernel__.Import.string
val potential_snarked_ledgers : Core_kernel__.Import.string -> Core_kernel__.Import.string
potential_snarked_ledgers is a json file that stores a list of potential snarked ledgeres
val potential_snarked_ledger : Core_kernel__.Import.string -> Core_kernel__.Import.string
potential_snarked_ledger is the actual location of each potential snarked ledger
val root_identifier : Core_kernel__.Import.string -> Core_kernel__.Import.string