Merkle_ledger_tests.Test_maskmodule Database = Merkle_ledger.Databasemodule type Test_intf = sig ... endmodule type Depth_S = sig ... endmodule Make_maskable_and_mask_with_depth (Depth : Depth_S) : sig ... endmodule Make_maskable_and_mask (Depth : Depth_S) : sig ... end