let inject_int (v:Int.t) =
    inject_ival (Ival.inject_singleton v)