Update lambda_display.ml