Sourcetype face_info = {num_faces : int;num_glyphs : int;family_name : string;style_name : string;has_horizontal : bool;has_vertical : bool;has_kerning : bool;is_scalable : bool;is_sfnt : bool;is_fixed_width : bool;has_fixed_sizes : bool;has_fast_glyphs : bool;has_glyph_names : bool;has_multiple_masters : bool;
} Sourceval set_char_size : face -> int -> int -> int -> int -> unit Sourceval set_pixel_sizes : face -> int -> int -> unit Sourcetype charmap = {platform_id : int;encoding_id : int;
} Sourcetype render_mode = | Render_Normal| Render_Mono
Sourcetype load_flag = | Load_no_scale| Load_no_hinting
Sourcetype bitmap_info = {bitmap_left : int;bitmap_top : int;bitmap_width : int;bitmap_height : int;
} Sourcetype bbox = {xmin : int;ymin : int;xmax : int;ymax : int;
} Sourcetype bearing_advance = {bearingx : int;bearingy : int;advance : int;
} Sourcetype size_metrics = {x_ppem : int;y_ppem : int;x_scale : int;y_scale : int;
} Sourcetype outline_tag = | On_point| Off_point_conic| Off_point_cubic
Sourcetype outline_contents = {n_contours : int;n_points : int;points : (int * int) array;tags : outline_tag array;contours : int array;
}