Frama-C:
Plug-ins:
Libraries:

Frama-C API - Eva_ast_printer

val pp_lval : Stdlib.Format.formatter -> Eva_ast_types.lval -> unit
val pp_lhost : Stdlib.Format.formatter -> Eva_ast_types.lhost -> unit
val pp_offset : Stdlib.Format.formatter -> Eva_ast_types.offset -> unit
val pp_exp : Stdlib.Format.formatter -> Eva_ast_types.exp -> unit
val pp_constant : Stdlib.Format.formatter -> Eva_ast_types.constant -> unit
val pp_unop : Stdlib.Format.formatter -> Eva_ast_types.unop -> unit
val pp_binop : Stdlib.Format.formatter -> Eva_ast_types.binop -> unit