fromIntegral package:grisette

Construct and internalizing a FromIntegralTerm.
Pattern synonym for FromIntegralTerm'. Note that using this pattern to construct a Term will do term simplification.
Conversion from a symbolic integral type.
Partial evaluation and lowering for integral terms.
A class that provides unified conversion from integral types. We use this type class to help resolve the constraints for SymFromIntegral.
Unified symFromIntegral operation. This function isn't able to infer the mode, so you need to provide the mode explicitly. For example:
symFromIntegral @mode a