Graph_gtk.PangoMeasure
val withContext : context:Pango.context -> fontName:string -> fontSize:int -> string -> int * int