Module type Sig.Integer_Conversions

type integer
val convert_to_ival : integer -> Framac_ival.Ival.t
val is_singleton_int : integer -> Z.t option