Up
Module type
Abstract_interp.Collapse
module type
Collapse =
sig
..
end
val
collapse
:
bool