Module Mlpost_desc_options
val latex_file : string option refval set_latex_file : string -> unitval interactive : bool refval t1disasm : string option refval dont_clean : bool refval filename_prefix : string refval required_files : string list refval push_required : string -> unitval spec : (string * Arg.spec * string) list