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