Parameter Make_Lattice_Product.3-C

val collapse : bool