Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package frama-c
Module Frama_c_kernel.Int_Intervals_sig
Sets of intervals with a lattice structure. Consecutive intervals are automatically fused.
type itv = Abstract_interp.Int.t * Abstract_interp.Int.tmodule type S = sig ... end