hax_engine_names::hax

Function deref_op

Source 
fn deref_op()