Frama-C API - Builtins_misc

Builtins for normalization and dumping of values or state. Builtins are registered directly, and are not exported here.