Up
–
goblint
»
Goblint_lib
»
SpecLifters
» NameLifter
Module type
SpecLifters.NameLifter
val
lift_name :
string
->
string