hax_engine_names::hax::machine_int

Function bitand

Source 
fn bitand()