Module type Abstract_interp.Collapse


module type Collapse = sig .. end

val collapse : bool