focc-pure-def.mly 1.49 KB