Module type Abstract_interp.Collapse

module type Collapse = sig .. end

val collapse : bool