Module Mlpost__Fonts_type

type encoding = [
| `File of string
| `Adobe_remap
| `None
]
type font_map = {
tex_name : string;
human_name : string;
enc_name : string option;
pfab_name : string;
slant : float option;
extend : float option;
}