Up
–
frama-c
»
Frama_c_kernel
»
Abstract_interp
» Collapse
Module type
Abstract_interp.Collapse
val
collapse : bool