package smtml

to_int interp converts an interpretation to an integer.

to_real interp converts an interpretation to a real number.

to_bool interp converts an interpretation to a Boolean.

to_string interp converts an interpretation to a string.

to_bitv interp n converts an interpretation to a bitvector of width n.

to_float interp e s converts an interpretation to a floating-point number with exponent width e and significand width s.