Format_typer (frama-c.Frama_c_kernel.Format

exception Type_not_found of string

exception Invalid_specifier

type arg_dir = [

]

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