sig
exception Type_not_found of string
exception Invalid_specifier
type arg_dir =
[ `ArgIn
| `ArgInArray of Format_types.precision option
| `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