https://pantsbuild.org/ logo
h

happy-kitchen-89482

07/17/2020, 9:54 PM
Like we have two degrees of freedom here (rule vs. goal_rule and "return type is Goal vs not") and then we have to check that they line up.