/test/golden/proofdefinefunction/

• ../
• encoding tasks.golden
• generating tasks.golden
• glossing.golden
• parsing.golden
• scanning.golden
• tokenizing.golden
• verification.golden