Frama-C:
Plug-ins:
Libraries:

Frama-C API - Arithmetic

Signature of an arithmetic

type forward
module Forward : sig ... end
module Backward : sig ... end