prop-src/trs.rpo

   1 M trs.cc
   2 D /home/leunga/src/prop-2.3.6/prop-src
   3 A '-c' '-I../include' '-O6' '-pedantic' '-frepo'
   4 O __t6a_List1ZP5a_ExpP5a_ExpPt6a_List1ZP5a_Exp
   5 O list_1___H1ZP5a_Exp_X01Pt6a_List1ZX01_Pt6a_List1ZX01
   6 O __t6a_List1ZP5a_ExpP5a_Exp
   7 O list_1___H1ZP5a_Exp_X01_Pt6a_List1ZX01
   8 O __t6a_List1ZP5a_PatP5a_PatPt6a_List1ZP5a_Pat
   9 O list_1___H1ZP5a_Pat_X01Pt6a_List1ZX01_Pt6a_List1ZX01
  10 O __t6a_List1ZP5a_PatP5a_Pat
  11 O list_1___H1ZP5a_Pat_X01_Pt6a_List1ZX01