let
create_all_values ~modu ~signed ~size =
inject_ival (
Ival
.create_all_values ~modu ~signed ~size)