prop-src/trs3.rpo

   1 M trs3.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_List1Zt6Tuple22ZUsZP6a_TermGt6Tuple22ZUsZP6a_TermPt6a_List1Zt6Tuple22ZUsZP6a_Term
   7 O list_1___H1Zt6Tuple22ZUsZP6a_Term_X01Pt6a_List1ZX01_Pt6a_List1ZX01
   8 O __t6Tuple22ZUsZP6a_TermRCUsRCP6a_Term
   9 O mkTuple2__H2ZUsZP6a_Term_RCX01RCX11_t6Tuple22ZX01ZX11
  10 O __t6Tuple22ZUsZP6a_Term