package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
include Data with type t = offset
type t = offset
val equal : t -> t -> bool
val compare : t -> t -> int
type cache
val cache : unit -> cache
val field_offset : cache -> Frama_c_kernel.Cil_types.fieldinfo -> int * int
val range : cache -> offset -> (int * int) * int
val sizeof : offset -> int