Definition of "refl"

refl