prop-src/matchcom.rpo

   1 M matchcom.cc
   2 D /home/leunga/src/prop-2.3.6/prop-src
   3 A '-c' '-I../include' '-O6' '-pedantic' '-frepo'
   4 O __t6a_List1ZP5a_PatP5a_Pat
   5 O list_1___H1ZP5a_Pat_X01_Pt6a_List1ZX01
   6 O __t6a_List1ZP10a_MatchExpP10a_MatchExpPt6a_List1ZP10a_MatchExp
   7 O list_1___H1ZP10a_MatchExp_X01Pt6a_List1ZX01_Pt6a_List1ZX01
   8 O __t6a_List1Z6LabExpG6LabExpPt6a_List1Z6LabExp
   9 O list_1___H1Z6LabExp_X01Pt6a_List1ZX01_Pt6a_List1ZX01
  10 O __t6a_List1ZP5a_ExpP5a_ExpPt6a_List1ZP5a_Exp
  11 O list_1___H1ZP5a_Exp_X01Pt6a_List1ZX01_Pt6a_List1ZX01
  12 O __t6a_List1Z6LabPatG6LabPatPt6a_List1Z6LabPat
  13 O list_1___H1Z6LabPat_X01Pt6a_List1ZX01_Pt6a_List1ZX01
  14 O __t6a_List1ZP5a_PatP5a_PatPt6a_List1ZP5a_Pat
  15 O list_1___H1ZP5a_Pat_X01Pt6a_List1ZX01_Pt6a_List1ZX01