Frama-C:
Plug-ins:
Libraries:

Frama-C API - Make_setter

  • since Carbon-20101201

Parameters

Signature

val make : string -> t
  • since Carbon-20101201
val set_name : t -> string -> unit
  • since Carbon-20101201