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