with debug
[prop.git] / prop-src / lawgen.rpo
blobd3166350b09b4b8c77aea7fe418cdf410cce4635
1 M lawgen.cc
2 D /home/leunga/src/prop-2.3.6/prop-src
3 A '-c' '-I../include' '-O6' '-pedantic' '-frepo'
4 O __t6a_List1Z6LabExpG6LabExpPt6a_List1Z6LabExp
5 O list_1___H1Z6LabExp_X01Pt6a_List1ZX01_Pt6a_List1ZX01
6 O __t6a_List1ZP5a_ExpP5a_ExpPt6a_List1ZP5a_Exp
7 O list_1___H1ZP5a_Exp_X01Pt6a_List1ZX01_Pt6a_List1ZX01
8 O __t6a_List1Zt6Tuple22ZPCcZP4a_TyGt6Tuple22ZPCcZP4a_TyPt6a_List1Zt6Tuple22ZPCcZP4a_Ty
9 O list_1___H1Zt6Tuple22ZPCcZP4a_Ty_X01Pt6a_List1ZX01_Pt6a_List1ZX01
10 O __t6Tuple22ZPCcZP4a_TyRCPCcRCP4a_Ty
11 O mkTuple2__H2ZPCcZP4a_Ty_RCX01RCX11_t6Tuple22ZX01ZX11