TipMode
type t =
| Batch
| Update
| Dry
| Init
val is_scratch : unit -> bool
val is_saving : unit -> bool
val get : unit -> t
val set : t -> unit
val add_hook_on_update : (unit -> unit) -> unit
Frama-C