module Logic_interp:Undocumented. Do not use this module if you don't know what you are doing.sig
..end
module To_zone:sig
..end
val formals_in_ensures : Cil_types.kernel_function -> Cil_types.funspec
exception Error of Cil_types.location * string