Currently the mechanism for printing reserved identifiers that are keywords is broken with keywords that are values :
For example in the toplevel :
# let x = Bool.(false)
val x : Bool.t = Bool.\#false
This is problematic because Bool.\#false is undefined.