Module Logic_interp

module Logic_interp: sig .. end
Undocumented. All the interesting functions defined below are exported through Db.Interp.

module To_zone: sig .. end
exception Error of Cil_types.location * string