frama-c-rpp.core
Rpp
val print_hello : string -> unit
class generation_of_proof_system : Frama_c_kernel.Project.t -> Rpp__.Rpp_types.visitor