external set_geometry_hints :
[>`window] obj -> ?pos: bool -> ?min_size: int * int ->
?max_size: int * int -> ?base_size: int * int ->
?aspect: float * float -> ?resize_inc: int * int ->
?win_gravity: Gdk.Tags.gravity -> ?user_pos: bool ->
?user_size: bool -> [>`widget] obj -> unit
= "ml_gtk_window_set_geometry_hints_bc"
"ml_gtk_window_set_geometry_hints"