Up – Index » frama-c » Frama_c_kernel » Type » Abstract » _

Parameter `Abstract._`

val name : string