Module Mdata


module Mdata: sig .. end

FOL Variable Types




FOL Variable Types



type vkind =
| Vmodel of Formula.tau
| Vacsl of Cil_types.logic_type

Type of ACSL terms



type kind =
| Kcint of Ctypes.c_int
| Kint
| Kreal
| Kbool
| Kptr of Cil_types.typ
| Kset of kind
| Kstruct of Cil_types.compinfo
| Karray of Ctypes.arrayinfo
| Kadt of string * kind list
module type Addr = sig .. end
module type S = sig .. end