Module Synthesis.Lut4

val max_lut : Base.int