Sizeof
These functions were at top-level and named sizeof_<type>
val short : unit -> int
val int : unit -> int
val long : unit -> int
val longlong : unit -> int
val ptr : unit -> int
val float : unit -> int
val double : unit -> int
val longdouble : unit -> int
val void : unit -> int
might be -1 if unsupported in current machdep
val func : unit -> int
Frama-C