/testsuite/compiler/check/abstract-operations/

• ../
• Nat.gf
• abstract-operations.gfs
• abstract-operations.gfs.gold