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