Module Frama_c_kernel.Logic_builtin

val init : unit -> unit -> unit