Sig.Dummy_Conversions
val convert_to_ival : 'a -> 'b
val convert_to_cvalue : 'a -> 'b
val is_singleton_int : 'a -> 'b