sig   exception Type_not_found of string   exception Invalid_specifier   type arg_dir = [ `ArgIn | `ArgInArray | `ArgOut | `ArgOutArray ]   type typdef_finder = Logic_typing.type_namespace -> string -> Cil_types.typ   val type_f_specifier :     ?find_typedef:Format_typer.typdef_finder ->     Format_types.f_conversion_specification -> Cil_types.typ   val type_s_specifier :     ?find_typedef:Format_typer.typdef_finder ->     Format_types.s_conversion_specification -> Cil_types.typ   val type_f_format :     ?find_typedef:Format_typer.typdef_finder ->     Format_types.f_format -> (Cil_types.typ * Format_typer.arg_dir) list   val type_s_format :     ?find_typedef:Format_typer.typdef_finder ->     Format_types.s_format -> (Cil_types.typ * Format_typer.arg_dir) list   val type_format :     ?find_typedef:Format_typer.typdef_finder ->     Format_types.format -> (Cil_types.typ * Format_typer.arg_dir) list end