fact: Definition f_adjustWeight := {| fn_return := tvoid; fn_callconv := cc_default; fn_params := ((_vertex, tint) :: (_newWeight, tint) :: (_pq, (tptr tint)) :: nil); fn_vars := nil; fn_temps := nil; fn_body := (Sassign (Ederef (Ebinop Oadd (Etempvar _pq (tptr tint)) (Etempvar _vertex tint) (tptr tint)) tint) (Etempvar _newWeight tint)) |}.
imports: Coq(String List ZArith) compcert(Coqlib Integers Floats AST Ctypes Cop Clight Clightdefs)