package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

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.t

module type S = sig ... end