Not sure if code is correct, but that is what's in this file.
I've seen \constant{True} in other places.