hax_engine_names::hax::machine_int

Function rem

Source 
fn rem()