Module Format_typer

module Format_typer: sig .. end

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:typdef_finder ->
Format_types.f_conversion_specification -> Cil_types.typ
val type_s_specifier : ?find_typedef:typdef_finder ->
Format_types.s_conversion_specification -> Cil_types.typ
val type_f_format : ?find_typedef:typdef_finder ->
Format_types.f_format -> (Cil_types.typ * arg_dir) list
val type_s_format : ?find_typedef:typdef_finder ->
Format_types.s_format -> (Cil_types.typ * arg_dir) list
val type_format : ?find_typedef:typdef_finder ->
Format_types.format -> (Cil_types.typ * arg_dir) list