Module type Abstract_interp.Collapse

val collapse : bool