Up – frama-c » Frama_c_kernel » Project_skeleton » Make_setter

Module `Project_skeleton.Make_setter`

since Carbon-20101201

Parameters
Signature

Parameters

Signature

val make : string -> t

since Carbon-20101201

val set_name : t -> string -> unit

since Carbon-20101201