external prev: [> `sourcemark] obj -> string option -> source_mark obj option = "ml_gtk_source_mark_prev"