Parameter Make_Lattice_Product._

val collapse : bool