values

p : PPD = mk_PPD( {mk_Equip(5) |-> 50},
                  {mk_Comp(1) |-> 20},
                  { mk_Equip(15) |-> 
                                  { mk_Comp(5) |-> 10 },
                    mk_Equip(500) |-> 
                                  { mk_Equip(100) |-> 50} 
                  }
                 )