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