chr package:sbv

chr :: SInteger -> SChar
sbv Data.SBV.Char
Conversion from an integer to a character. 
>>> prove $ \x -> 0 .<= x .&& x .< 256 .=> ord (chr x) .== x
Q.E.D.

>>> prove $ \x -> chr (ord x) .== x
Q.E.D.