Module Synthesis.Lut6

val max_lut : Base.int