Frama-C API - Unsigned_downcast
val is_computed : Frama_c_kernel.Kernel_function.t -> bool
val set : Frama_c_kernel.Kernel_function.t -> bool -> unit
val accessor : status_accessor
Unsigned_downcast
val is_computed : Frama_c_kernel.Kernel_function.t -> bool
val set : Frama_c_kernel.Kernel_function.t -> bool -> unit
val accessor : status_accessor