external get_specified : this:[> `AttrGdomeT.t -> bool = "ml_gdome_a_get_specified"