Frama-C API - Mt_lib
Auxiliary definitions and functions for pretty-printing
Partially applied format-like function missing a "%a" argument
Partially applied Log.pretty_printer value, missing its entire formatter (and the arguments)
Compare the tags of two OCaml values (or their values if they are integers). Can be used to implement the generic cases of compare functions on inductive types. Not for the casual user.
Conversion from something into something else. Returns a formatter that prints the error in case of failure
val mthread_h : unit -> Frama_c_kernel.Filepath.Normalized.t
Location of the header file "mthread.h"