external get_lower : [>`adjustment] obj -> float
      = "ml_gtk_adjustment_get_lower"