/test/golden/proofdefinefunction/

• ../
• parsing.golden
• scanning.golden
• tokenizing.golden