Merkle_ledger.Graphvizmodule type S = sig ... endVisualizable_ledger shows a subgraph of a merkle_ledger using Graphviz
module type Inputs_intf = sig ... endmodule Make
(Inputs : Inputs_intf) :
S with type addr := Inputs.Location.Addr.t and type ledger := Inputs.Ledger.t