Gtk.PageSetup.prototype.get_top_margin

function get_top_margin(unit:Gtk.Unit):Number {
    // Gjs wrapper for gtk_page_setup_get_top_margin()
}