Up
–
frama-c-e-acsl
»
E_ACSL
»
Interlang
» Helpers
Module
Interlang.Helpers
val
is_div_or_mod :
binop
->
bool