Definition foo := True.

Section foo.
  Global Arguments foo / .
End foo.