package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type value
val pretty_gui_res : Stdlib.Format.formatter -> value gui_res -> unit
val equal_gui_res : value gui_res -> value gui_res -> bool
val vars_in_gui_res : value gui_res -> Frama_c_kernel.Cil_types.varinfo list
val pretty_gui_after : Stdlib.Format.formatter -> value gui_after -> unit
val equal_gui_after : value gui_after -> value gui_after -> bool