prop-src/matchgen.rpo

   1 M matchgen.cc
   2 D /home/leunga/src/prop-2.3.6/prop-src
   3 A '-c' '-I../include' '-O6' '-pedantic' '-frepo'
   4 O __t6a_List1ZP4a_TyP4a_Ty
   5 O list_1___H1ZP4a_Ty_X01_Pt6a_List1ZX01
   6 O __t6a_List1ZP6a_DeclP6a_DeclPt6a_List1ZP6a_Decl
   7 O list_1___H1ZP6a_Decl_X01Pt6a_List1ZX01_Pt6a_List1ZX01
   8 O __t6a_List1ZP5a_ExpP5a_ExpPt6a_List1ZP5a_Exp
   9 O list_1___H1ZP5a_Exp_X01Pt6a_List1ZX01_Pt6a_List1ZX01
  10 O __t6a_List1ZP5a_ExpP5a_Exp
  11 O list_1___H1ZP5a_Exp_X01_Pt6a_List1ZX01
  12 O __t6a_List1ZP6a_ConsP6a_ConsPt6a_List1ZP6a_Cons
  13 O list_1___H1ZP6a_Cons_X01Pt6a_List1ZX01_Pt6a_List1ZX01
  14 O __t6a_List1ZP6a_ConsP6a_Cons
  15 O list_1___H1ZP6a_Cons_X01_Pt6a_List1ZX01