Frama-C API - N
simpler notation for writing F.term
and F.pred
val (+) : F.binop
F.p_add
val (-) : F.binop
F.p_sub
val (~-:) : F.unop
fun x -> p_sub 0 x
Beware that the operator does not have the same precedence as ~-
in standard OCaml.
val (*) : F.binop
F.p_mul
val (/) : F.binop
F.p_div
val (mod) : F.binop
F.p_mod
val (==>) : F.operator
val (&&:) : F.operator
F.p_and
Beware that the operator does not have the same precedence as &&
in standard OCaml.
val (||:) : F.operator
F.p_or
Beware that the operator does not have the same precedence as ||
in standard OCaml.