Es equivalente en ese caso usar x u otro nombre de variable, por ejemplo el que elegiste: x'.
Puede confundir un poco pero podés pensarlo como que la x que recibe foo es global a fun, mientras que la del pattern es local, por lo que "gana" la variable local.
Puede confundir un poco pero podés pensarlo como que la x que recibe foo es global a fun, mientras que la del pattern es local, por lo que "gana" la variable local.